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