Return to Article Details Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems Download Download PDF