Investigation of discharge characteristics and optimized insulator of a miniature penning ion source | IEEE Conference Publication | IEEE Xplore