Safety assurance of aviation systems. - Derek Wade Reinhardt (2013)