Efficient Implementation of an EDF Scheduler for Small Embedded Systems