Compositional Abstraction Refinement for Component-Based Systems

Figure 5

The abstraction for the component-based model.