Wehrmeister, M., 		Ceron, L., & 		Silva, J.
(2012).
 Early Verification of Embedded Systems: Testing Automation for UML Models.
In <em>Anais do II Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 119-124). Porto Alegre: SBC.