Add a state machine README