S Hepp, B. Huber, D. Prokesch:
"platin - A Toolkit for Compiler and WCET-Analysis Integration";
Talk: TACLe Focused Meeting Day on Flow Facts and Annotation Formats, Technical University of Denmark; 2014-04-11.
Compiler, WCET, LLVM, T-CREST
http://publik.tuwien.ac.at/files/PubDat_236195.pdf