Numerical simulation of airfoil thermal anti-ice operation Part 1: Mathematical modeling - Silva, Guilherme Araújo Lima da; Silvares, Otavio de Mattos; Zerbini, Euryale Jorge Godoy de Jesus (Journal of Aircraft, 2006)