1 CS 425 Project Preparation Chapter 21: State Machines Chapter 22:Advanced State Machines [Arlow and Neustadt 2005]