Diagnostic
Reasoner
Design:
structural
description
Observations
Domain
Knowledge:
Component Models
Diagnoses
Repairs
Actions
Replace R6
