P. . Abdul Samat, M. A. . Azwarrudin, N. . Mohd Ali, and N. . Admodisastro, “Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV”, ijie, vol. 13, no. 5, pp. 137–145, May 2021, Accessed: Jul. 23, 2024. [Online]. Available: https://penerbit.uthm.edu.my/ojs/index.php/ijie/article/view/8846