Síntese de Redes de Trocadores de Calor: Proposta de um Procedimento Automático e Estudo da Influência da Presença de Misturas que Mudam a Fase. Documento