Faraday rotation spectroscopy of O2 using a distributed feedback diode laser and a static magnetic field | IEEE Conference Publication | IEEE Xplore