Title: Modeling Pilot Interaction with Automated Digital Avionics Systems