Thermoelectromagnetic Lumped-Parameter Model of High Temperature Superconductor Generators for Transient Stability Analysis | IEEE Journals & Magazine | IEEE Xplore