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