Operator Reliance on Automation: Theory and Data · Study