Saving on electricity cost for operating large-size Data Centers through implementation of Workflow Intuitive Formal Approach | IEEE Conference Publication | IEEE Xplore