Kochaleema, K. and Santhoshkumar, G. (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), pp. 58-64. doi: 10.14429/dsj.69.12294.