Um Arcabouço de Simulação e Avaliação de Sistemas de Quóruns Bizantinos - Wagner Saback Dantas; Alysson Neves Bessani; Joni Fraga (2007)