Design of a Cooling System for a REBCO Insert Coil in a Cryogen-Free 25 T Superconducting Magnet | IEEE Journals & Magazine | IEEE Xplore