K. Kochaleema and G. Santhoshkumar, “Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller”, Def. Sc. J., vol. 69, no. 1, pp. 58–64, Jan. 2019.