Abdul Samat P, Azwarrudin MA, Mohd Ali N, Admodisastro N. Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV. IJIE. 2021;13(5):137-145. Accessed August 7, 2026. https://journal.uthm.edu.my/index.php/ijie/article/view/8846