Read Fault Tolerance lecture notes from comp9243