Describing and Verifying Web Service Composition Using TLA Reasoning | IEEE Conference Publication | IEEE Xplore