Integration of Smart Home technologies for district heating control in Pervasive Smart Grids | IEEE Conference Publication | IEEE Xplore