Zaslat SMS: Beer pasteurization models