Development of a 1250-kVA Superconducting Transformer and Its Demonstration at the Superconducting Substation | IEEE Journals & Magazine | IEEE Xplore