Utilization of the tunability of the lead-salt diode laser for a fast and local measurement of specific gas density | IEEE Journals & Magazine | IEEE Xplore