Abdul Samat, Pathiah, et al. “Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV”. International Journal of Integrated Engineering, vol. 13, no. 5, May 2021, pp. 137-45, https://penerbit.uthm.edu.my/ojs/index.php/ijie/article/view/8846.