The magnets and power supplies of the GSI beam scanning system for heavy ion cancer therapy | IEEE Journals & Magazine | IEEE Xplore