Plasma diagnosis in a miniature penning ion source by a mass-energy analyer | IEEE Conference Publication | IEEE Xplore