On the Stability of Mixed Finite-Element Formulations for High-Temperature Superconductors | IEEE Journals & Magazine | IEEE Xplore