A life-cycle cost optimization model with environmental impact assessment for energy management of service buildings | IEEE Conference Publication | IEEE Xplore