Finite-Element Formulations for Systems With High-Temperature Superconductors | IEEE Journals & Magazine | IEEE Xplore