Status of Production of Beam Separation Dipole Magnets for the High-Luminosity LHC Upgrade | IEEE Journals & Magazine | IEEE Xplore