A Finite-Element Method Framework for Modeling Rotating Machines With Superconducting Windings | IEEE Journals & Magazine | IEEE Xplore