Doi Junior, Gilson, E 		Bonifacio, Adilson.
" A Tool to Support Model-Based Testing Activities" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (7 novembro 2011)