Um algoritmo de controle usado na manutenção de uma temperatura alvo com termostatos digitais em equipamentos cervejeiros modernos