Transactive control with real-time prices and a double-auction feeder market | IEEE Conference Publication | IEEE Xplore