K. Kochaleema and G. S. Kumar, “Generic Methodology for Formal Verification of UML Models”, Def. Sc. J., vol. 72, no. 1, pp. 40–48, Jan. 2022.