Kushal K S, Dr. Manju Nanda, & J Jayanthi. (2017). Model-Based Analysis of Safety Critical Validation Algorithm. Global Journals of Research in Engineering, 17(D1), 1–12. Retrieved from https://engineeringresearch.org/index.php/GJRE/article/view/1569