Rocha, Camila, and Eliane Martins.
" Um Modelo para Construção de Componentes Testáveis." <em>Proceedings of the 5th Workshop on Testing and Fault Tolerance,
Gramado/RS, 2004</em>. SBC, 2004,  
pp.61-72.