publicações TwinBFT: tolerância a faltas bizantinas com máquinas virtuais gêmeas Documento UM AMBIENTE PARA ANÁLISE DE THREADS DISTRIBUÍDAS DE TEMPO REAL Documento