Quantitative verification for response times in composite Web service model | IEEE Conference Publication | IEEE Xplore