Text this: Design of Robust Fault-Tolerant Finite-State Machines for Unmanned Aerial Vehicles.