Tunable mid-infrared laser-based gas sensors: new technologies and applications | IEEE Conference Publication | IEEE Xplore