Especificação Formal e Análise de Sistemas Distribuídos