Martins, E.
1995 out  3.  Integrando injeção de falhas e testes formais na validação da tolerância a falhas. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :