Event-based temperature control system in a penning-type ion source | IEEE Conference Publication | IEEE Xplore