Key Market Mechanisms for Cross-Regional Tradings in the Electricity Market: Insights From Theory and Real-World Implementations | IEEE Journals & Magazine | IEEE Xplore