MILP Formulation for Transmission Expansion Planning With Short-Circuit Level Constraints | IEEE Journals & Magazine | IEEE Xplore