Model-Based Fault Diagnosis For Automotive Functional Safety