Lars Luthmann, Hendrik Göttmann, Malte Lochau: Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. FACS 2019: 147-169