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 April 9, 2026. https://penerbit.uthm.edu.my/ojs/index.php/ijie/article/view/8846