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