Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services (Logical Methods in Computer Science, 2020)