Singhand Jain. An Augmented Framework for Formal Analysis of Safety Critical Systems. no. 08, Scientific Research Publishing, Inc,, 2017, doi:10.4236/jsea.2017.108039.