Kochaleema, KH, and G. Santhoshkumar. “Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller”. Defence Science Journal 69, no. 1 (January 10, 2019): 58-64. Accessed July 8, 2020. https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/12294.