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