Magnet system for an ECR ion source | IEEE Journals & Magazine | IEEE Xplore