Abdul Samat, P. et al. 2021. Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV. International Journal of Integrated Engineering. 13, 5 (May 2021), 137–145.