[1]
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”, DSJ, vol. 69, no. 1, pp. 58-64, Jan. 2019.