Agent-Based Modeling of Peer-to-Peer Energy Trading in a Smart Grid Environment | IEEE Conference Publication | IEEE Xplore