Carsten Weise Dirk Lenzkes Weak Refinement for Modal Hybrid Systems. 316-330 1997 conf/hybrid/1997hart HART db/conf/hybrid/hart97.html#WeiseL97