update doc: more descriptive synchronization state machine diagram