Update state-machines.md