selected publications academic article The influence of processor architecture on the design and the results of WCET tools. Proceedings of the IEEE. 91:1038-1054. 2003