Estimation of Peak Demand Reduction Using Smart Thermostats: A Texas Case Study | IEEE Conference Publication | IEEE Xplore