@Article{Kirner:SOSYM2010, author = { Raimund Kirner and Jens Knoop and Adrian Prantl and Markus Schordan and Albrecht Kadlec }, title = { Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis}, journal = {Software and System Modeling}, year = {2010}, publisher = {Springer}, note = {(online edition)}, doi = {http://dx.doi.org/10.1007/s10270-010-0161-0}, URL = {http://costa.tuwien.ac.at/papers/sosym10.pdf} }