A state diagram for the specification given above is depicted in Figure 3b and its partial implementation is shown in Listing 3. ... States are represented as instances of the State class, but unlike ...