Multi-Domain Modeling and Simulation of High-Temperature Superconducting Transmission Lines Under Short-Circuit Fault Conditions | IEEE Journals & Magazine | IEEE Xplore