A comparative study of property-constant and property-variable icing models