Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol018-ppes2011/OASIcs.PPES.2011/OASIcs.PPES.2011.pdf.