Update State Machine's article