Simulation model of lightning stroke to a transmission line considering the leader propagation randomicity | IEEE Conference Publication | IEEE Xplore