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, v. 69, n. 1, p. 58-64, 10 jan. 2019.