R. Kirner, J. Knoop, A. Prantl, M Schordan, A. Kadlec:
"Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time Analysis";
Software and Systems Modeling, Volume 10 (2011), No. 3; 411 - 437.
http://dx.doi.org/10.1007/s10270-010-0161-0