Design and Verification ofWeb Services Compositions in the Telecommunication Domain | IEEE Conference Publication | IEEE Xplore