この資料をSMS送信: An empirical study of flight control software reliability / Janet R. Dunham, John L. Pierce.