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