MODEL-BASED FAULT DIAGNOSIS OF AN ANTI-LOCK BRAKING SYSTEM VIA STRUCTURAL ANALYSIS