Compact TEA-CO2 laser with pulse repetition rate up to 2.5 kHz | IEEE Conference Publication | IEEE Xplore