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