Kochaleema, K.; Kumar, G. S. Generic Methodology for Formal Verification of UML Models. Def. Sc. J. 2022, 72, 40-48.