@inproceedings{Kirner:WCET2007, Address = {Pisa, Italy}, Author = {Raimund Kirner and Jens Knoop and Adrian Prantl and Markus Schordan and Ingomar Wenzel}, Booktitle = {{Proceedings of the 7th International Workshop on Worst-Case Execution Time (WCET) Analysis}}, Pages = {83--99}, Title = {{WCET Analysis: The Annotation Language Challenge}}, Editor = {Christine Rochange}, Organization = {{Institut de Recherche en Informatique de Toulouse}}, Year = {2007} }