Formal Modelling of a Coordination System: From Practice to Theory, and Back Again | Publicación