Peak Regulation Market Design for End-users in the Presence of Load Aggregators | IEEE Conference Publication | IEEE Xplore