Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol010-wcet2009/OASIcs.WCET.2009/OASIcs.WCET.2009.pdf.