A quantitative model for adaptive task allocation in human-computer interfaces | IEEE Journals & Magazine | IEEE Xplore