Formal Specification Based Automatic Test Generation for Embedded Network Systems

Figure 10

A transition composition of subsystems.