Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

by Martin Kleppmann

For modeling real systems, the partially synchronous model with crash-recovery faults is generally the most useful model.