DEHEMS: creating a digital environment for large-scale energy management at homes | IEEE Journals & Magazine | IEEE Xplore