CINERGY: Reasoning Over the Worst Case Power Consumption of Cloud Virtual Machines | IEEE Conference Publication | IEEE Xplore