Detectores de Defeitos e Consenso em Sistemas Distribuídos Síncronos Particionados Sujeitos a Falhas Bizantinas (2017)