Redirecting to https://drops.dagstuhl.de/storage/00lipics/lipics-vol163-itc2020/LIPIcs.ITC.2020.4/LIPIcs.ITC.2020.4.pdf.