Federal aviation administration and Ada. - Jeffrey O'Leary (SIGAda, 2007)

Assuring Software Reliability While Using Web Services and Commercial Products. - Jeffrey O'Leary (Ada-Europe, 2011)

FAA's controller pilot automatic data communication (data comm) system software development. - Jeffrey O'Leary; Alok Srivastava (HILT, 2012)