Wehrmeister, Marco, 		Ceron, Luis, E 		Silva, Johnny.
" Early Verification of Embedded Systems: Testing Automation for UML Models" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (5 novembro 2012)