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