An AC arc discharge model for ice-covered FRP live-line tools | IEEE Conference Publication | IEEE Xplore