Safety-Critical System and Testing the Integrity Software. International Journal of Advanced Research in Computer Science, [S. l.], v. 5, n. 5, p. 24–28, 2017. DOI: 10.26483/ijarcs.v5i5.2172. Disponível em: https://www.ijarcs.info/index.php/Ijarcs/article/view/2172. Acesso em: 22 feb. 2026.