Modeling of the air plasma near the tip of the positive leader | IEEE Journals & Magazine | IEEE Xplore