Rocha, Camila, and Eliane Martins. "Um Modelo para Construção de Componentes Testáveis." Anais do V Workshop de Testes e Tolerância a Falhas, Gramado/RS, 2004. SBC, 2004, pp.61-72.