Quasi-Static Scheduling of Embedded Software Using Free-Choice Petri Nets