Design, Manufacturing and Tests of an All-HTS 20 T Magnet | IEEE Journals & Magazine | IEEE Xplore