Especificação, Verificação, Implementação e Teste de Sistemas Distribuídos e Protocolos de Comunicação