Compositional semantics of non-deterministic synchronous languagesThe Argos language: graphical representation of automata and description of reactive systems
