Online gas monitoring with mid-infrared optical parametric oscillator based dual-comb spectrometer | IEEE Conference Publication | IEEE Xplore