Kochaleema K, Santhoshkumar G. Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller. Def. Sc. J. [Internet]. 2019 Jan. 10 [cited 2025 Jul. 4];69(1):58-64. Available from: https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/12294