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