C. Rocha and E. Martins. "Um Modelo para Construção de Componentes Testáveis", in Anais do V Workshop de Testes e Tolerância a Falhas, Gramado/RS, 2004, pp. 61-72, doi: https://doi.org/10.5753/wtf.2004.23380.