"Automatic Amortised Worst-Case Execution Time Analysis."

Christoph A. Herrmann et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics