FSM Composition
Bridle complexity via hierarchy: FSM product yields an FSM
Fundamental hypothesis:
all the FSMs change state together (synchronicity)
System state = Cartesian product of component states
(state explosion may be a problem...)
E.g. seat belt control + timer