Martins, E. (1995). Integrando injeção de falhas e testes formais na validação da tolerância a falhas. In Anais do IX Simpósio Brasileiro de Engenharia de Software, (pp. 223-239). Porto Alegre: SBC. doi:10.5753/sbes.1995.24086