Early Verification of Embedded Systems: Testing Automation for UML Models. - Marco A. Wehrmeister; Luis M. Ceron; Johnny L. da Silva (SBESC, 2012)