Framework to Simulate the Behavior of Embedded Real-Time Systems Specified in UML Models. - Marco A. Wehrmeister; Joao G. Packer; Luis M. Ceron (SBESC, 2011)

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

Support for early verification of embedded real-time systems through UML models simulation. - Marco A. Wehrmeister; Joao G. Packer; Luis M. Ceron (ACM SIGOPS Oper. Syst. Rev., 2012)