M. Nielsen and T. S. Hune, “Timed Bisimulation and Open Maps”, BRICS, vol. 5, no. 4, Jan. 1998.