ABDUL SAMAT, Pathiah; AZWARRUDIN, Muhammad Amsyar; MOHD ALI, Norhayati; ADMODISASTRO, Novia. Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV. International Journal of Integrated Engineering, [S. l.], v. 13, n. 5, p. 137–145, 2021. Disponível em: https://penerbit.uthm.edu.my/ojs/index.php/ijie/article/view/8846.. Acesso em: 23 jul. 2024.