Dynamic Operator Overload: A Model for Predicting Workload During Supervisory Control | IEEE Journals & Magazine | IEEE Xplore