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