Redirecting to https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol08021/DagSemProc.08021.15/DagSemProc.08021.15.pdf.