The development of a miniature double focusing mass spectrometer | IEEE Conference Publication | IEEE Xplore