Parametric Timed Bisimulation. - Malte Lochau; Lars Luthmann; Hendrik Göttmann; Isabelle Bacher (ISoLA (2), 2020)

Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. - Hendrik Göttmann; Isabelle Bacher; Nicolas Gottwald; Malte Lochau (VaMoS, 2021)