On Timed Alternating Simulation for Concurrent Timed Games | Publicación