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