The 40 KA Dumping System for the ISR Beams | IEEE Journals & Magazine | IEEE Xplore