Conceptual Design of the HL-LHC Hollow Electron Lens Superconducting Magnet System | IEEE Journals & Magazine | IEEE Xplore