Power supply system for the ATLAS muon spectrometer: design specifications and test | IEEE Journals & Magazine | IEEE Xplore