Weak Refinement for Modal Hybrid Systems. - Carsten Weise; Dirk Lenzkes (HART, 1997)

Efficient Scaling-Invariant Checking of Timed Bisimulation. - Carsten Weise; Dirk Lenzkes (STACS, 1997)