Guillem Bernat, Niklas Holsti. Compiler Support for WCET Analysis: a Wish List. In Jan Gustafsson, editor, Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, WCET 2003 - a Satellite Event to ECRTS 2003, Polytechnic Institute of Porto, Portugal, July 1, 2003. Volume MDH-MRTC-116/2003-1-SE of pages 65-69, Department of Computer Science and Engineering, Mälardalen University, Box 883, 721 23 Västerås, Sweden, 2003.