Dynamic fault tree analysis for digital fly-by-wire flight control system · Study