Bernhard Schommer, Christoph Cullmann, Gernot Gebhard, Xavier Leroy, Michael Schmidt, et al.. Embedded Program Annotations for WCET Analysis.
WCET 2018: 18th International Workshop on Worst-Case Execution Time Analysis, Jul 2018, Barcelona, Spain.
⟨10.4230/OASIcs.WCET.2018.8⟩.
⟨hal-01848686⟩