Vitalsource Technologies, Inc. Robust Integration Of Model-based Fault Estimation And Fault-tolerant C