Figure 4: Depiction of the UAV flight control software test problem.