"A compiler framework for the reduction of worst-case execution times."

Heiko Falk, Paul Lokuciejewski (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics