Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol025-atmos2012/OASIcs.ATMOS.2012.83/OASIcs.ATMOS.2012.83.pdf.