A real-time pricing scheme for residential energy systems using a market maker | IEEE Conference Publication | IEEE Xplore