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