Eventually Returning to Strong Consistency
Practical byzantine fault tolerance and proactive recovery