Integrating State-Dependent M/M/c Queue Analysis into Optimization Models for Energy-Aware Multi-Server Data Centers | IEEE Conference Publication | IEEE Xplore