Martins, Eliane.
" Integrando injeção de falhas e testes formais na validação da tolerância a falhas" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (3 outubro 1995)