EDF schedulability test for the E-TDL time-triggered framework
Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks