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: Apr. 09, 2026. [Online]. Available: https://penerbit.uthm.edu.my/ojs/index.php/ijie/article/view/8846