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