Design of CRAFT Magnet Power Supply Protection System | IEEE Conference Publication | IEEE Xplore