Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol015-wcet2010/OASIcs.WCET.2010.77/OASIcs.WCET.2010.77.pdf.