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 [Internet]. 2021 May 30 [cited 2026 Aug. 7];13(5):137-45. Available from: https://journal.uthm.edu.my/index.php/ijie/article/view/8846