System behavior:
•
Visualization of
system state transition in
the presence of a given input sequence.
•
Visualization of system state transition in
the presence of injected faults.
