High Vacuum Leak Testing With the Mass Spectrometer | IEEE Journals & Magazine | IEEE Xplore