Production of nitric oxide using a pulsed arc discharge | IEEE Journals & Magazine | IEEE Xplore