Mathematical model of lightning stroke development | IEEE Conference Publication | IEEE Xplore