Raimund Kirner Jens Knoop Adrian Prantl Markus Schordan Ingomar Wenzel WCET Analysis: The Annotation Language Challenge. 2007 conf/wcet/2007 WCET http://drops.dagstuhl.de/opus/volltexte/2007/1197 db/conf/wcet/wcet2007.html#KirnerKPSW07