Verification and validation of the least time / maximum probability theories of lightning propagation and lightning protection | IEEE Conference Publication | IEEE Xplore