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