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