A power scheduling game for reducing the peak demand of residential users | IEEE Conference Publication | IEEE Xplore