Derivations of Effective Length Formula of Vertical Grounding Rods and Horizontal Grounding Electrodes Based on Physical Phenomena of Lightning Surge Propagations | IEEE Journals & Magazine | IEEE Xplore