TC3: Runtime Fault Diagnosis (FD) and Reachability Analysis (RA) for In-flight Contingency Management