Abdul Samat, P. ., Azwarrudin, M. A. ., Mohd Ali, N. ., & Admodisastro, N. . (2021). Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV. International Journal of Integrated Engineering, 13(5), 137-145. https://penerbit.uthm.edu.my/ojs/index.php/ijie/article/view/8846