Davide Basile, Maurice H. ter Beek, Rosario Pugliese: Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. COORDINATION 2019: 129-147