Formal Approach for QoS-Aware Cloud Service Composition | IEEE Conference Publication | IEEE Xplore