@InProceedings{Prantl:BH2008,
  author = 	 {Adrian Prantl and Markus Schordan and Jens Knoop},
  title = 	 {{TuBound -- A Conceptually New Tool for Worst-Case Execution Time Analysis}},
  booktitle = {{25. Workshop der \glqq GI-Fachgruppe Programmiersprachen und Rechenkonzepte\grqq}},
  pages = 	 {117--126},
  year =	 {2008},
  editor =	 {Michael Hanus and Sebastian Fischer},
  series = 	 {Technische Berichte des Instituts f{\"u}r Informatik},
  number =	 {0811},
  address =	 {Olshausenstr. 40, D -- 24098 Kiel},
  organization = {Institut f{\"u}r Informatik der Christian-Albrechts-Universit{\"a}t zu Kiel},
  annote = {May 5-7, Bad Honnef, Germany},
  URL = {http://costa.tuwien.ac.at/papers/bh08-tubound.pdf}
}