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