Implementing Lumberjacks and Black Swans Into Model-Based Tools to Support Human–Automation Interaction. (March 2017)