Wehrmeister, M., 		Ceron, L., & 		Silva, J.
2012 nov  5.  Early Verification of Embedded Systems: Testing Automation for UML Models. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :