Simulation of shielding failure flash-over of transmission line based on leader progression model | IEEE Conference Publication | IEEE Xplore