Rafeh R, Rabiee A. Towards the Design of Safety-Critical Software. JART [Internet]. 2013 Oct. 1 [cited 2024 Dec. 18];11(5). Available from: https://jart.icat.unam.mx/index.php/jart/article/view/274