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