Title: On Abstractions and Simplifications in the Design of Human-Automation Interfaces