Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol031-fsfma2013/OASIcs.FSFMA.2013.86/OASIcs.FSFMA.2013.86.pdf.