Earth source heat pumps: Characteristics, design, and operation | IEEE Journals & Magazine | IEEE Xplore