Research Article

Model-Based Testing Applied to Software Components of Satellite Simulators

Figure 11

Equivalence between UPPAAL automaton and mealy machine.