Electromagnetic Modeling of Superconductors With Commercial Software: Possibilities With Two Vector Potential-Based Formulations | IEEE Journals & Magazine | IEEE Xplore