Doi Junior, G., & 		Bonifacio, A.
(2011).
 A Tool to Support Model-Based Testing Activities.
In <em>Proceedings of the 1st Brazilian Symposium on Computing Systems Engineering</em>, (pp. 21-26). Porto Alegre: SBC.