KOCHALEEMA, K.; KUMAR, G. S. Generic Methodology for Formal Verification of UML Models. Defence Science Journal, [S. l.], v. 72, n. 1, p. 40–48, 2022. DOI: 10.14429/dsj.72.17228. Disponível em: https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/17228. Acesso em: 7 jul. 2025.