Automatically Deriving Choreography-Conforming Systems of Services | IEEE Conference Publication | IEEE Xplore