Ground Source Heat Pump Modeling and Aggregation for Services Provision in Electricity Markets | IEEE Conference Publication | IEEE Xplore