An integer linear programming and game theory based optimization for demand-side management in smart grid | IEEE Conference Publication | IEEE Xplore