Operator Reliance on Automation: Theory and Data | Synapse