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