Kushal K S, Dr. Manju Nanda, J Jayanthi. Model-Based Analysis of Safety Critical Validation Algorithm. GJRE [Internet]. 2017 Jan. 15 [cited 2024 Apr. 19];17(D1):1-12. Available from: https://engineeringresearch.org/index.php/GJRE/article/view/1569