Resource provisioning algorithms for service composition in Cyber Physical Systems | IEEE Conference Publication | IEEE Xplore