Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. - Kirner, Raimund; Knoop, Jens; Prantl, Adrian; Schordan, Markus; Kadlec, Albrecht (Software & Systems Modeling, 2011)