Marco Wehrmeister, Luis Ceron, and Johnny Silva. 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>, novembro 05, 2012, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 119-124.