Rafeh, R. and Rabiee, A. 2013. Towards the Design of Safety-Critical Software. Journal of Applied Research and Technology. 11, 5 (Oct. 2013). DOI:https://doi.org/10.1016/S1665-6423(13)71576-1.