Andrade et al. (2009)
Andrade, Ermeson, Paulo Maciel, Gustavo Callou, and Bruno Nogueira. 2009. “A Methodology for Mapping Sysml Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints.” In 2009 Third International Conference on Digital Society, 266–71. IEEE.