Dynamic Operator Overload: A Model for Predicting Workload During Supervisory Control | AMiner