Modeling Ice Shedding Propagation on Transmission Lines with or without Interphase Spacers | IEEE Journals & Magazine | IEEE Xplore