Reliability evaluation of fly-by-wire computer systems. - Joanne Bechta Dugan; Randy Van Buren (J. Syst. Softw., 1994)