Benedikt Huber, Daniel Prokesch, Peter P. Puschner. Combined WCET analysis of bitcode and machine code using control-flow relation graphs. In Björn Franke, Jingling Xue, editors, SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, LCTES '13, Seattle, WA, USA, June 20-21, 2013. pages 163-172, ACM, 2013. [doi]