917826.fig.010
Figure 10: Tracing the changes to the state spaces, classes, and methods.