Kochaleema, K., 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, Vol. 69, no. 1, Jan. 2019, pp. 58-64, doi:10.14429/dsj.69.12294.