Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, et al.. Towards Formally Verifiable WCET Analysis for a Functional Programming Language.
6th International Workshop on Worst-Case Execution Time Analysis, Jun 2006, Dresden, Germany.
⟨hal-00103234⟩