Designing Reliable Distributed Systems - Ölveczky, Peter Csaba (Springer London, 2020)