Research Article

Compositional Abstraction Refinement for Component-Based Systems

Figure 6

The refined abstract model.
703098.fig.006