TIMER-Cloud: Time-Sensitive VM Provisioning in Resource-Constrained Clouds | IEEE Journals & Magazine | IEEE Xplore