Abdul Samat, P. .; Azwarrudin, M. A. .; Mohd Ali, N. .; Admodisastro, N. . Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV. ijie 2021, 13 (5), 137-145.