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