Doi Junior, G., & 		Bonifacio, A.
(2011).
A Tool to Support Model-Based Testing Activities.
In <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 21-26). Porto Alegre: SBC.