Text this: Fault-tolerant design and control of automated vehicles and processes :