A Mathematical Model Based Method for Diagnosing Failures in Automotive Electronic Systems