Discharge properties and diagnosis of gas pressure in vacuum interrupter | IEEE Conference Publication | IEEE Xplore