Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation | IEEE Journals & Magazine | IEEE Xplore