Wehrmeister, Marco, Luis M. Ceron, and Johnny L. da Silva.
" Early Verification of Embedded Systems: Testing Automation for UML Models." <em>Proceedings of the 1st Brazilian Symposium on Computing Systems Engineering,
Natal/RN, 2012</em>. SBC, 2012,  
pp.119-124.