page
9
Constraints
M
C
V
deliver
events
redundant data
state machine control
