A numerical prediction model for food freezing using finite element methods