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