A methodology for modeling the behavior of electricity prosumers within the smart grid | IEEE Conference Publication | IEEE Xplore