Design of the injection kicker magnet system for CERN's 14 TeV proton collider LHC | IEEE Conference Publication | IEEE Xplore