A new mathematical model for flashover voltages of polluted porcelain insulators