Goal Modelling Meets Service Choreography: A Graph Transformation Approach. - Michalis Bachras; Kostas Kontogiannis (EDOC, 2020)