"A Framework to Quantify the Overestimations of Static WCET Analysis."

Hugues Cassé, Haluk Ozaktas, Christine Rochange (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics