P. Puschner. Control Engineering Practice, 6 (1):
129--135(1998)mirror: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.32.7347&rep=rep1&type=pdf.
R. Kirner, J. Knoop, A. Prantl, M. Schordan, und I. Wenzel. (2007)Keywords: Worst-case execution time (WCET)
analysis, annotation languages, WCET tool challenge,
WCET annotation language challenge.
mirrors:
http://drops.dagstuhl.de/opus/volltexte/2007/1197/pdf/kirner.1197.pdf
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.107.5818&rep=rep1&type=pdf.