Fault Model
•
We model the fault by introducing D’,
which is stuck at true and affects the value
of X which we rename X’:
