Model-Based Planning for State-Related Changes to Infrastructure and Software as a Service Instances in Large Data Centers | IEEE Conference Publication | IEEE Xplore