RAFEH, R.; RABIEE, A. Towards the Design of Safety-Critical Software. Journal of Applied Research and Technology, [S. l.], v. 11, n. 5, 2013. DOI: 10.1016/S1665-6423(13)71576-1. Disponível em: https://jart.icat.unam.mx/index.php/jart/article/view/274. Acesso em: 25 apr. 2024.