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