Modeling and Verifying Web Service Applications with Time Constraints | IEEE Conference Publication | IEEE Xplore