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