Checking Timed Bisimilarity with Virtual Clocks. - Alexander Lieb; Hendrik Göttmann; Lars Luthmann; Malte Lochau; Andy Schürr (CoRR, 2024)