Mihail Asavoae, Claire Maiza, Pascal Raymond. Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. In Claire Maiza, editor, 13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France. Volume 30 of OASICS, pages 32-41, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]
Abstract is missing.