A Finite Representation of Durational Action Timed Automata Semantics | Publicación