The ECR heavy-ion source for ATLAS | IEEE Conference Publication | IEEE Xplore