Martins, E.
1995 Oct  3.  Integrando injeção de falhas e testes formais na validação da tolerância a falhas. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :