Quench Protection of a Nb$_3$Sn Superconducting Magnet System for a 45-GHz ECR Ion Source | IEEE Journals & Magazine | IEEE Xplore