J. Augusto, M. Huch, A. Kameas, J. Maitland, P. Mccullagh et al., Handbook of Ambient Assisted Living, 2012.

C. Baier and J. P. Katoen, Principles of Model Checking, 2008.

G. Bella and L. Coles-kemp, Layered Analysis of Security Ceremonies, In: Information Security and Privacy. IFIP AICT, vol.376, pp.273-286, 2012.
DOI : 10.1007/978-3-642-30436-1_23

N. Bevan, International standards for HCI and usability, International Journal of Human-Computer Studies, vol.55, issue.4, pp.533-552, 2001.
DOI : 10.1006/ijhc.2001.0483

M. Bolton, E. Bass, and R. Siminiceanu, Using formal verification to evaluate humanautomation interaction, IEEE Trans. Sys, vol.43, issue.3, pp.488-503, 2013.
DOI : 10.1109/tsmca.2012.2210406

C. F. Camerer, Behavioral Game Theory: Experiments in Strategic Interaction, 2003.

P. Curzon, R. Ruk??-enas, and A. Blandford, An approach to formal verification of human???computer interaction, Formal Aspects of Computing, vol.54, issue.3, pp.513-550, 2007.
DOI : 10.1007/s00165-007-0035-6

C. Ellison, Ceremony design and analysis. Cryptology ePrint Archive Rep, p.399, 2007.

T. Gärling, D. Ettema, and M. Friman, Handbook of Sustainable Travel, 2014.
DOI : 10.1007/978-94-007-7034-8

T. Gilovich, D. Griffin, and D. Kahneman, Heuristics and biases: The psychology of intuitive judgment, 2002.
DOI : 10.1017/CBO9780511808098

D. Harel, J. Tiuryn, and D. Kozen, Dynamic Logic, 2000.

C. Johansen and A. Jøsang, Probabilistic modeling of humans in security ceremonies, QASA. LNCS, pp.277-292, 2014.

A. Jøsang, A LOGIC FOR UNCERTAIN PROBABILITIES, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol.09, issue.03, pp.279-212, 2001.
DOI : 10.1142/S0218488501000831

A. Jøsang, R. Ismail, and C. Boyd, A survey of trust and reputation systems for online service provision, Decision Support Systems, vol.43, issue.2, pp.618-644, 2007.
DOI : 10.1016/j.dss.2005.05.019

D. Kahneman, Evaluation by moments, past and future, Choices, Values and Frames, p.693, 2000.

D. Kahneman, A perspective on judgment and choice: Mapping bounded rationality., American Psychologist, vol.58, issue.9, pp.697-720, 2003.
DOI : 10.1037/0003-066X.58.9.697

D. Kahneman and R. H. Thaler, Anomalies: Utility Maximization and Experienced Utility, Journal of Economic Perspectives, vol.20, issue.1, pp.221-234, 2006.
DOI : 10.1257/089533006776526076

A. Newell, Unified Theories of Cognition, 1990.

R. L. Oliver, Satisfaction: A Behavioral Perspective on Consumer, 2010.

T. Pedersen, M. Friman, and P. Kristensson, Affective Forecasting: Predicting and Experiencing Satisfaction With Public Transportation1, Journal of Applied Social Psychology, vol.78, issue.8, pp.1926-1946, 2011.
DOI : 10.1111/j.1559-1816.2011.00789.x

T. Pedersen, P. Kristensson, and M. Friman, Counteracting the focusing illusion: Effects of defocusing on car users??? predicted satisfaction with public transport, Journal of Environmental Psychology, vol.32, issue.1, pp.30-36, 2012.
DOI : 10.1016/j.jenvp.2011.10.004

D. Poole and A. Mackworth, Artificial Intelligence: Foundations of Computational Agents, 2010.
DOI : 10.1017/CBO9780511794797

Y. Rogers, H. Sharp, and J. Preece, Interaction Design: Beyond Human-Computer Interaction, 2011.

R. Ruksenas, J. Back, P. Curzon, and A. Blandford, Verification-guided modelling of salience and cognitive load. Formal Asp, Comput, vol.21, issue.6, pp.541-569, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00534920

R. Ruksenas, P. Curzon, and A. Blandford, Modelling and analysing cognitive causes of security breaches, Innovations in Systems and Software Engineering, vol.4, issue.3, pp.143-160, 2008.
DOI : 10.1007/s11334-008-0050-7

H. A. Simon, Reason in Human Affairs, 1983.

H. A. Simon, Models of Bounded Rationality: Empirically Grounded Economic Reason, 1997.

S. A. Sloman and . Gilovich, Two Systems of Reasoning, pp.379-396
DOI : 10.1017/CBO9780511808098.024

C. Stirling, Modal and Temporal properties of processes, 2001.
DOI : 10.1007/978-1-4757-3550-5

R. H. Thaler and C. R. Sunstein, Nudge: Improving Decisions about Health, Wealth, and Happiness, 2008.

R. West, The psychology of security, Communications of the ACM, vol.51, issue.4, pp.34-40, 2008.
DOI : 10.1145/1330311.1330320

T. D. Wilson and D. T. Gilbert, Affective Forecasting, Current Directions in Psychological Science, vol.88, issue.3, pp.345-411, 2003.
DOI : 10.1037/0022-3514.78.5.821