Progress in the design of a superconducting toroidal magnet for the ATLAS detector on LHC | IEEE Journals & Magazine | IEEE Xplore