January 2023 CSE423: Fault Tolerant Systems