@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}
}