Sebastian Altmeyer Gernot Gebhard WCET Analysis for Preemptive Scheduling. 2008 WCET http://drops.dagstuhl.de/opus/volltexte/2008/1664 conf/wcet/2008 db/conf/wcet/wcet2008.html#AltmeyerG08