Compositional Abstraction Refinement for Component-Based Systems

Figure 4

The component-based model for temperature control system.