Global Timed Bisimulation: An Introduction | Publicación