Compositional Abstraction Refinement for Component-Based Systems

Figure 2

The component-based model for train gate controller (TGC).