A simulation environment for the analysis of home automation systems | IEEE Conference Publication | IEEE Xplore