Raimund Kirner Peter P. Puschner Obstacles in Worst-Case Execution Time Analysis. 333-339 2008 ISORC http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.65 conf/isorc/2008 db/conf/isorc/isorc2008.html#KirnerP08