Rafeh, Reza and Rabiee, Avand (2013) Towards Design of Safety-Critical Software. Journal of Applied Research and Technology , 11 (5). pp. 683-694. ISSN 1665-6423