Double Auction-Based Manufacturing Cloud Service Allocation in an Industrial Park | IEEE Journals & Magazine | IEEE Xplore