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