HOD, CSE, DIET, A. Vasudeva Rao. Safety Critical Systems Analysis. GJCST [Internet]. 2011 Aug. 15 [cited 2024 May 1];11(21):-. Available from: https://computerresearch.org/index.php/computer/article/view/848