Power system modeling for multi-area regulating market simulation | IEEE Conference Publication | IEEE Xplore