A Formal Approach for QoS Assurance in the Cloud | IEEE Conference Publication | IEEE Xplore