Update State Machines.md