Text this: Analysis and synthesis of fault-tolerant control systems /