A Framework for Joint Scheduling and Power Trading of Prosumers in Transactive Markets | Synapse