Automatic translation of a timed process algebra into dynamic state graphs | Publicación