Heiko Falk Paul Lokuciejewski Henrik Theiling Design of a WCET-Aware C Compiler. 2006 conf/wcet/2006 WCET http://drops.dagstuhl.de/opus/volltexte/2006/673 db/conf/wcet/wcet2006.html#FalkLT06