On timed alternating simulation for concurrent timed games | Publicación