Christian Ferdinand Reinhold Heckmann Henrik Theiling Reinhard Wilhelm Convenient User Annotations for a WCET Tool. 17-20 2003 conf/wcet/2003 WCET db/conf/wcet/wcet2003.html#FerdinandHTW03