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