Kochaleema, K. and Kumar, G.S. 2022. Generic Methodology for Formal Verification of UML Models. Defence Science Journal. 72, 1 (Jan. 2022), 40-48. DOI:https://doi.org/10.14429/dsj.72.17228.