Generating Macro-Temporality in Timed Transition Diagrams | Publicación