Stavros Tripakis Sergio Yovine Analysis of Timed Systems Using Time-Abstracting Bisimulations. 25-68 2001 18 Formal Methods in System Design 1 db/journals/fmsd/fmsd18.html#TripakisY01