Leader propagation models of ultrahigh-voltage insulator strings based on voltage/time curves under negative lightning impulses at high altitude | IEEE Journals & Magazine | IEEE Xplore