Modeling Automation With Cognitive Work Analysis to Support Human-Automation Coordination. (December 2017)