Abdul Samat, P. (2021) “Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV”, International Journal of Integrated Engineering, 13(5), pp. 137–145. Available at: https://penerbit.uthm.edu.my/ojs/index.php/ijie/article/view/8846 (Accessed: 23 July 2024).