Quench Protection Modeling of an HTS Magnet for MRI System | IEEE Journals & Magazine | IEEE Xplore