Propagation velocity of pulsed streamer discharges in atmospheric air | IEEE Journals & Magazine | IEEE Xplore