@article{Kochaleema_Santhoshkumar_2019, title={Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller}, volume={69}, url={https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/12294}, DOI={10.14429/dsj.69.12294}, number={1}, journal={Defence Science Journal}, author={Kochaleema, KH and Santhoshkumar, G.}, year={2019}, month={Jan.}, pages={58-64} }