Using Stochastic Model Checking to Provision Complex Business Services | IEEE Conference Publication | IEEE Xplore