Measurement of internal pressure of vacuum tubes by micro-discharge and emission current | IEEE Conference Publication | IEEE Xplore