A Framework for Joint Scheduling and Power Trading of Prosumers in Transactive Markets | IEEE Journals & Magazine | IEEE Xplore