A Mean Field Game Approach For Distributed Control Of Thermostatic Loads Acting In Simultaneous Energy-Frequency Response Markets 3 1