Proving Compatibility Using Refinement. - Michael Jones; Aaron Benson; Dan Delorey (TPHOLs, 2004)

Driver Expectations of a Partial Driving Automation System in Relation to Branding and Training. - Jeremiah P. Singer; Brian C. Tefft; Aaron Benson; James W. Jenness; William J. Horrey (Hum. Factors, 2024)