Kushal K S; Dr. Manju Nanda; J Jayanthi. Model-Based Analysis of Safety Critical Validation Algorithm. GJRE 2017, 17, 1-12.