Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems. - Taylor T. Johnson; Jeremy Green; Sayan Mitra; Rachel F. Dudley; Richard Scott Erwin (FM, 2012)

Analysis of the Characteristics of Adaptive Systems. - Michael C. Dorneich; Kellie A. McGrath; Rachel F. Dudley; Max D. Morris (SMC, 2013)

Interaction of Automation Visibility and Information Quality in Flight Deck Information Automation. - Michael C. Dorneich; Rachel F. Dudley; Emmanuel Letsu-Dake; William Rogers; Stephen D. Whitlow; Michael C. Dillard; Erik Nelson (IEEE Trans. Hum. Mach. Syst., 2017)