Generating Finite State Machine from WSMO choreography for testing Web services | IEEE Conference Publication | IEEE Xplore