Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol009-atmos2008/OASIcs.ATMOS.2008.1591/OASIcs.ATMOS.2008.1591.pdf.