Automated Synthesis of Service Choreographies | IEEE Journals & Magazine | IEEE Xplore