Distributed temperature control via Geothermal Heat Pump systems in energy efficient buildings | IEEE Conference Publication | IEEE Xplore