Constraints

redundant data

deliver events

V

M

C

state machine control