Generating Quantitative Test Cases for Probabilistic Timed Web Service Composition | IEEE Conference Publication | IEEE Xplore