Modelling Heat Pump Systems in Low-Carbon Energy Systems With Significant Cross-Sectoral Integration | IEEE Journals & Magazine | IEEE Xplore