M. Nielsen og T. S. Hune, “Timed Bisimulation and Open Maps”, BRICS, bd. 5, nr. 4, jan. 1998.