A Methodology for Software Synthesis of Embedded Real-Time Systems Based On TPN and LSC
A Time Petri Net-Based Approach for Software Synthesis Considering Overheads
A Time Petri Net-Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes
A Methodology for Mapping Live Sequence Chart to Coloured Petri Net
A Retargetable Environment for Power-Aware Code Exploration: An Approach Based on Coloured Petri Nets
Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads
Eduardo Tavares
Meuse Nogueira de Oliveira Junior
Paulo Romero Martins Maciel
Raimundo da Silva Barreto
Ricardo Massa Ferreira Lima
Arthur Ramos de Bessa