Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol048_atmos2015/OASIcs.ATMOS.2015.16/OASIcs.ATMOS.2015.16.pdf.