Towards a Balance Between Energy Savings and Quality of Service: A Finite-Buffer Queueing Model with a Controlled Machine Vacation | IEEE Conference Publication | IEEE Xplore