Marco Autili, Paola Inverardi, Massimo Tivoli: Automated Synthesis of Service Choreographies. IEEE Softw. 32(1): 50-57 (2015)