Kochaleema, K.; Santhoshkumar, G. Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller. Def. Sc. J. 2019, 69, 58-64.