Figure 3:
The composite state
S2
of
ExporterTarger
state diagram.
