@article{autili2015automated, title={Automated synthesis of service choreographies}, author={Autili, Marco and Inverardi, Paola and Tivoli, Massimo}, journal={IEEE Software}, volume={32}, number={1}, pages={50--57}, year={2015}, publisher={IEEE} }