Please read the second chapter of the book "Koren, I., & Krishna, C. M. (2020). Fault-tolerant systems. Morgan Kaufmann."