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