QoS-Aware Service Composition in Cloud Manufacturing: A Gale–Shapley Algorithm-Based Approach | IEEE Journals & Magazine | IEEE Xplore