Simulation of a Quench Event in the Upgraded High-Luminosity LHC Main Dipole Circuit Including the 11 T Nb3Sn Dipole Magnets | IEEE Journals & Magazine | IEEE Xplore