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