The Cooling and Safety Design of a Pair of Binary Leads for the MICE Coupling Magnets | IEEE Journals & Magazine | IEEE Xplore