Leader progression model application for calculation of lightning critical flashover voltage of overhead transmission line insulators | IEEE Conference Publication | IEEE Xplore