@techreport{Kirner:TR10,
	Address = {Vienna, Austria},
	Author = {Raimund Kirner and Albrecht Kadlec and Adrian Prantl and Markus Schordan and Jens Knoop},
	Institution = {Technische Universit{\"a}t Wien},
	Title = {{Essential Ingredients for a WCET Annotation Language}},
        Month = {April},
	Year = {2008},
        URL = {http://costa.tuwien.ac.at/papers/tr10.pdf}
}