Optimization-based auction mechanism for inter-ISO congestion management | IEEE Conference Publication | IEEE Xplore