Redirecting to https://drops.dagstuhl.de/storage/00lipics/lipics-vol173-esa2020/LIPIcs.ESA.2020.46/LIPIcs.ESA.2020.46.pdf.