Ferreira, Ronaldo, Álvaro F. Moreira, and Luigi Carro. " Detecção e Correção de Falhas Transitórias Através da Descrição de Programas Usando Matrizes." Anais do XI Workshop de Testes e Tolerância a Falhas, Gramado/RS, 2010. SBC, 2010, pp.133-145.