Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints.
Ermeson Carneiro de AndradePaulo Romero Martins MacielGustavo Rau de Almeida CallouBruno Costa e Silva NogueiraCarlos AraújoPublished in: SAC (2009)