Quantitative prediction of mental workload with the ACT-R cognitive architecture - Jo, Seongsik; Myung, Rohae; Yoon, Daesub (International Journal of Industrial Ergonomics, 2012)