New Developments in WCET Analysis. - Christian Ferdinand; Florian Martin 001; Christoph Cullmann; Marc Schlickling; Ingmar Stein; Stephan Thesing; Reinhold Heckmann (Program Analysis and Compilation, 2006)

Analysis of path exclusion at the machine code level. - Ingmar Stein; Florian Martin 001 (WCET, 2007)