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