KOCHALEEMA, K.; SANTHOSHKUMAR, G. Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller. Defence Science Journal, [S. l.], v. 69, n. 1, p. 58–64, 2019. DOI: 10.14429/dsj.69.12294. Disponível em: https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/12294. Acesso em: 7 jul. 2025.