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