Production of electronically excited iodine atoms, I(2P1/2), following injection of HI into a flow of discharge oxygen | IEEE Journals & Magazine | IEEE Xplore