Kochaleema, K.; Kumar, G. S. Generic Methodology for Formal Verification of UML Models. DSJ 2022, 72, 40-48.