Kochaleema K, Kumar GS. Generic Methodology for Formal Verification of UML Models. Def. Sc. J. [Internet]. 2022 Jan. 5 [cited 2025 Jun. 16];72(1):40-8. Available from: https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/17228