A candidate covers each conflict

Helium tank

Fuel tank

Oxidizer tank

Main

Engines

Pressure1 = nominal

Flow1 = zero

Pressure2= nominal

Flow2 = positive

Acceleration = zero

Each Conflict

Discovered

Focuses the

Remaining Search

Single faults are

the intersection of

the conflicts