A formulation for IoT-enabled dynamic Service Selection across multiple Manufacturing clouds | IEEE Conference Publication | IEEE Xplore