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