Use of a temperature function integration technique to assess the hygienic adequacy of a beef carcass cooling process