Gaseous-discharge lamps for airplane lighting service | IEEE Journals & Magazine | IEEE Xplore