KOCHALEEMA, K.; KUMAR, G. S. Generic Methodology for Formal Verification of UML Models. Defence Science Journal, v. 72, n. 1, p. 40-48, 5 jan. 2022.