Stochastic Model Driven Capacity Planning for an Infrastructure-as-a-Service Cloud | IEEE Journals & Magazine | IEEE Xplore