A new formulation for lightning return-stroke models of engineering type | IEEE Conference Publication | IEEE Xplore