Model-based Diagnosis of an Automotive Electric Power Generation and Storage System | Synapse