Proactive Byzantine Quorum Systems - Eduardo Alchieri (2009)