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

by Martin Kleppmann

If a quorum of nodes declares another node dead, then it must be considered dead, even if that node still very much feels alive.