Christoph A. Herrmann Armelle Bonenfant Kevin Hammond Steffen Jost Hans-Wolfgang Loidl Robert F. Pointon Automatic Amortised Worst-Case Execution Time Analysis. 2007 conf/wcet/2007 WCET http://drops.dagstuhl.de/opus/volltexte/2007/1186 db/conf/wcet/wcet2007.html#HerrmannBHJLP07