Time programmable smart devices for peak demand reduction of smart homes in a microgrid | IEEE Conference Publication | IEEE Xplore