M. Wehrmeister, L. Ceron, and J. Silva.
" Early Verification of Embedded Systems: Testing Automation for UML Models", in <em>Anais do II Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, Natal/RN, 2012, pp. 119-124.