Ground Source Heat Pump Modeling, Operation, and Participation in Electricity Markets | IEEE Journals & Magazine | IEEE Xplore