Gilson Doi Junior and Adilson Bonifacio. 2011. A Tool to Support Model-Based Testing Activities. In Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais, novembro 07, 2011, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 21-26.