When people do an easy task, and another person is nearby, they tend to do that task better than when they are alone. Conversely, when people do a hard task, and another person is...
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...