Martins, Eliane.
" Integrando injeção de falhas e testes formais na validação da tolerância a falhas." <em>Proceedings of the 9th Brazilian Symposium on Software Engineering,
Recife/PE, 1995</em>. SBC, 1995,  
pp.223-239.