The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse. - Jesper Jepsen; Ekkart Kindler (BM-FA (Revised Selected Papers), 2014)