Safety certification of airborne software: An empirical study. - Ian Dodd; Ibrahim Habli (Reliab. Eng. Syst. Saf., 2012)