Nielsen, M. and Hune, T.S. 1998. Timed Bisimulation and Open Maps. BRICS Report Series. 5, 4 (Jan. 1998). DOI:https://doi.org/10.7146/brics.v5i4.19277.