Kushal K S, Dr. Manju Nanda and J Jayanthi (2017) “Model-Based Analysis of Safety Critical Validation Algorithm”, Global Journals of Research in Engineering, 17(D1), pp. 1–12. Available at: https://engineeringresearch.org/index.php/GJRE/article/view/1569 (Accessed: 27 April 2024).