Compiler Support for Timing Analysis of Optimized Code by Raimund Kirner