Designing automation for human use: empirical studies and quantitative models · Study