Formal Specification Based Automatic Test Generation for Embedded Network Systems

Figure 4

A model composition for the entire ENS.