Nielsen, M.; Hune, T. S. Timed Bisimulation and Open Maps. BRICS 1998, 5.