Model-Checking of Web Services Choreography | IEEE Conference Publication | IEEE Xplore