Email Record: Analysis and synthesis of fault-tolerant control systems /