Li Su, Howard Bowman, Philip J. Barnard, Bradley P. Wyble: Process algebraic modelling of attentional capture and human electrophysiology in interactive systems. Formal Aspects Comput. 21(6): 513-539 (2009)