Kochaleema, K., & 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), 58-64. https://doi.org/10.14429/dsj.69.12294