R. Rafeh and A. Rabiee, “Towards the Design of Safety-Critical Software”, JART, vol. 11, no. 5, Oct. 2013.