Validating the Physics-Driven Lumped-Element Model of the LHC Main Dipole Magnet | IEEE Journals & Magazine | IEEE Xplore