A Modeling Methodology and Scheduler Synthesis for Embedded Real-Time Software
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems
Raimundo da Silva Barreto
Paulo Romero Martins Maciel