An integrated dynamic market mechanism for real-time markets and frequency regulation | IEEE Conference Publication | IEEE Xplore