Theoretical Model for the Progression of Leader Steppers in a Thundercloud | IEEE Conference Publication | IEEE Xplore