@InProceedings{Prantl:KPS2007, author = {Adrian Prantl}, title = {{The CoSTA Transformer: Integrating Optimizing Compilation and WCET Flow Facts Transformation}}, booktitle = {{14. Kolloquium \glqq Programmiersprachen und Grundlagen der Programmierung (KPS '07)\grqq}}, pages = {172--177}, year = {2007}, editor = {Walter Dosch and Clemens Grelck and Anette St{\"u}mpel}, series = {Schriftenreihe A}, number = {A-07-07}, organization = {{Institute f{\"u}r Informatik und Mathematik der Universit{\"a}t zu L{\"u}beck}}, annote = {October 10-12, Timmendorfer Strand, Germany}, URL = {http://costa.tuwien.ac.at/papers/kps07.pdf} }