. . . . . . . . "Automating the generation of heterogeneous aviation safety cases"@en . . . . . . . "Automatic control." . . "Aircraft safety." . . . . "Airborne equipment." . . "Control systems design." . . "Ames Research Center," . . "Unmanned aircraft systems." . . "Aircraft design." . . "Aircraft models." . .