Specification and Verification of Safe Web Service Behavior Adaptation | IEEE Conference Publication | IEEE Xplore