Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol004-wcet2006/OASIcs.WCET.2006.673/OASIcs.WCET.2006.673.pdf.