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):1-12. https://engineeringresearch.org/index.php/GJRE/article/view/1569.