Real-Time Extended Interface Automata for Software Testing Cases Generation

Figure 6

The structure of the aircraft braking system.