Update 07_scal_avail_fault_tol.tex