Progress on HL-LHC Nb3Sn Magnets | IEEE Journals & Magazine | IEEE Xplore