The superconducting magnet system for the LHC | IEEE Journals & Magazine | IEEE Xplore