Kushal K S, Dr. Manju Nanda, and J Jayanthi, “Model-Based Analysis of Safety Critical Validation Algorithm”, GJRE, vol. 17, no. D1, pp. 1–12, Jan. 2017.