Rocha, Camila, AND 		Martins, Eliane.
" Um Modelo para Construção de Componentes Testáveis" <em>Proceedings of the Fault Tolerance Workshop (WTF)</em> [Online], (10 May 2004)