R. Ferreira, Á. Moreira, and L. Carro. " Detecção e Correção de Falhas Transitórias Através da Descrição de Programas Usando Matrizes", in Anais do XI Workshop de Testes e Tolerância a Falhas, Gramado/RS, 2010, pp. 133-145, doi: https://doi.org/10.5753/wtf.2010.23101.