Model-Based Testing Applied to Software Components of Satellite Simulators

Figure 6

Part of the logical view—DCS example.