Evaluating Byzantine Quorum Systems - Wagner Saback Dantas (2010)