Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints.
Ermeson C. AndradePaulo Romero Martins MacielGustavo Rau de Almeida CallouBruno Costa e Silva NogueiraPublished in: CIMCA/IAWTIC/ISE (2008)