Formal Approach for DVS-Based Power Management for Multiple Server System in Presence of Server Failure and Repair. - Lalit Chandnani; Hemangee K. Kapoor (IEEE Trans. Ind. Informatics, 2013)