Modeling of high pressure discharge lamps including electrodes | IEEE Journals & Magazine | IEEE Xplore