Kochaleema, K.H., and G. Santhosh Kumar. “Generic Methodology for Formal Verification of UML Models”. Defence Science Journal 72, no. 1 (January 5, 2022): 40-48. Accessed May 27, 2022. https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/17228.