Performance Estimation for Business Workflows on Public Cloud Offerings Using Probabilistic Model Checker | IEEE Conference Publication | IEEE Xplore