Doi Junior, Gilson, and Adilson Bonifacio.
"A Tool to Support Model-Based Testing Activities." <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Florianópolis, 2011</em>. SBC, 2011,  
pp.21-26.