I.: WCET analysis: The annotation language challenge (2007)

by R Kirner, J Knoop, A Prantl, M Schordan, Wenzel
Venue:In: Proc. 7th International Workshop on WorstCase Execution Time Analysis