Transmission expansion planning using an efficient version of Benders' decomposition. A case study | IEEE Conference Publication | IEEE Xplore