@InProceedings{Prantl:BH2007,
  author = 	 {Adrian Prantl},
  title = 	 {{Source-to-Source Transformations for WCET Analysis: The CoSTA Approach}},
  booktitle = {{24. Workshop der \glqq GI-Fachgruppe Programmiersprachen und Rechenkonzepte\grqq}},
  pages = 	 {51--60},
  year =	 {2007},
  editor =	 {Michael Hanus and Bernd Bra{\ss}el},
  series = 	 {Technische Berichte des Instituts f{\"u}r Informatik},
  number =	 {0707},
  address =	 {Olshausenstr. 40, D -- 24098 Kiel},
  organization = {Institut f{\"u}r Informatik der Christian-Albrechts-Universit{\"a}t zu Kiel},
  annote = {May 2-4, Bad Honnef, Germany},
  URL = {http://costa.tuwien.ac.at/papers/gi-pr07.pdf}
}