EDF schedulability test for the E-TDL time-triggered framework
Measuring the Performance of Schedulability Tests