Pre-Runtime Scheduling considering Timing and Energy Constraints in Embedded Systems with Multiple Processors
A Formal Modeling for Embedded Hard Real-Time Systems
A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis
Raimundo da Silva Barreto
Eduardo Tavares
Meuse Nogueira de Oliveira Junior
Paulo Romero Martins Maciel
M. M. CUSTODIO
Ricardo Massa Ferreira Lima