Cerone, A. Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems. ECEASST 2011, 45.