Kushal K S, et al. “Model-Based Analysis of Safety Critical Validation Algorithm”. Global Journals of Research in Engineering, vol. 17, no. D1, Jan. 2017, pp. 1-12, https://engineeringresearch.org/index.php/GJRE/article/view/1569.