2-25-kV 50 Hz High-Speed Traction Power System: Short-Circuit Modeling | IEEE Journals & Magazine | IEEE Xplore