Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol047_wcet2015/OASIcs.WCET.2015/OASIcs.WCET.2015.pdf.