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