HOD, CSE, DIET; A. Vasudeva Rao. Safety Critical Systems Analysis. GJCST 2011, 11, -.