Rafeh, R., and A. Rabiee. 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.