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 2024 Jul. 23];13(5):137-45. Available from: https://penerbit.uthm.edu.my/ojs/index.php/ijie/article/view/8846