The MPC elucidator: a case study in the design for human-automation interaction