Modeling Strategic Behavior in Human-Automation Interaction: Why an "Aid" Can (and Should) Go Unused | Synapse