Figure 5: Sample of the state diagram for class Bank.