Figure 3: Sample of the state diagram for class ATM.