Benedikt Huber, Daniel Prokesch, and Peter Puschner.

Combined WCET analysis of bitcode and machine code using control-flow relation graphs.
Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013), Seattle, WA, USA

In: Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, The Association for Computing Machinery, 2013, ISBN: 978-1-4503-2085-6, p. 163 - 172.

DOI: 10.1145/2499369.2465567