"Towards an Automatic Parametric WCET Analysis."

Stefan Bygde, Björn Lisper (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics