Abdul Samat, Pathiah, Muhammad Amsyar Azwarrudin, Norhayati Mohd Ali, and Novia Admodisastro. 2021. “Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV”. International Journal of Integrated Engineering 13 (5): 137-45. https://penerbit.uthm.edu.my/ojs/index.php/ijie/article/view/8846.