Kochaleema, KH, and G. Santhoshkumar. 2019. “Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller”. Defence Science Journal 69 (1), 58-64. https://doi.org/10.14429/dsj.69.12294.