Rimvydas Ruksenas Paul Curzon Ann Blandford Modelling Rational User Behaviour as Games between an Angel and a Demon. 355-364 2008 SEFM http://dx.doi.org/10.1109/SEFM.2008.43 conf/sefm/2008 db/conf/sefm/sefm2008.html#RuksenasCB08