{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T18:50:02Z","timestamp":1773687002092,"version":"3.50.1"},"reference-count":94,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,3,23]],"date-time":"2018-03-23T00:00:00Z","timestamp":1521763200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2018,3,23]],"date-time":"2018-03-23T00:00:00Z","timestamp":1521763200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005416","name":"Norwegian Research Council","doi-asserted-by":"crossref","award":["(248113\/O70"],"award-info":[{"award-number":["(248113\/O70"]}],"id":[{"id":"10.13039\/501100005416","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Hum. Cent. Comput. Inf. Sci."],"published-print":{"date-parts":[[2018,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The rapidly increasing pervasiveness and integration of computers in human society calls for a broad discipline under which this development can be studied. We argue that to design and use technology one needs to develop and use models of humans and machines in all their aspects, including cognitive and memory models, but also social influence and (artificial) emotions. We call this wider discipline Behavioural Computer Science (BCS), and argue in this paper for why BCS models should unify (models of) the behaviour of humans and machines when designing information and communication technology systems. Thus, one main point to be addressed is the incorporation of empirical evidence for actual human behaviour, instead of making inferences about behaviour based on the rational agent model. Empirical studies can be one effective way to constantly update the behavioural models. We are motivated by the future advancements in artificial intelligence which will give machines capabilities that from many perspectives will be indistinguishable from those of humans. Such machine behaviour would be studied using BCS models, looking at questions about<jats:italic>machine trust<\/jats:italic>like \u201cCan a self driving car trust its passengers?\u201d, or<jats:italic>artificial influence<\/jats:italic>like \u201cCan the user interface adapt to the user\u2019s behaviour, and thus influence this behaviour?\u201d. We provide a few directions for approaching BCS, focusing on modelling of human and machine behaviour, as well as their interaction.<\/jats:p>","DOI":"10.1186\/s13673-018-0130-0","type":"journal-article","created":{"date-parts":[[2018,4,4]],"date-time":"2018-04-04T05:01:47Z","timestamp":1522818107000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Behavioural Computer Science: an agenda for combining modelling of human and system behaviours"],"prefix":"10.1186","volume":"8","author":[{"given":"Tore","family":"Pedersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1525-0307","authenticated-orcid":false,"given":"Christian","family":"Johansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Audun","family":"J\u00f8sang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,23]]},"reference":[{"key":"130_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511794797","volume-title":"Artificial Intelligence: foundations of computational agents","author":"D Poole","year":"2010","unstructured":"Poole D, Mackworth A (2010) Artificial Intelligence: foundations of computational agents. Cambridge University Press, Cambridge"},{"key":"130_CR2","volume-title":"Interaction Design: beyond Human\u2013Computer interaction","author":"Y Rogers","year":"2011","unstructured":"Rogers Y, Sharp H, Preece J (2011) Interaction Design: beyond Human\u2013Computer interaction, 3rd edn. Wiley, New York","edition":"3"},{"issue":"2","key":"130_CR3","doi-asserted-by":"publisher","first-page":"618","DOI":"10.1016\/j.dss.2005.05.019","volume":"43","author":"A J\u00f8sang","year":"2007","unstructured":"J\u00f8sang A, Ismail R, Boyd C (2007) A survey of trust and reputation systems for online service provision. Decis Support Syst 43(2):618\u2013644. https:\/\/doi.org\/10.1016\/j.dss.2005.05.019","journal-title":"Decis Support Syst"},{"issue":"1","key":"130_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10462-011-9277-z","volume":"40","author":"I Pinyol","year":"2013","unstructured":"Pinyol I, Sabater-Mir J (2013) Computational trust and reputation models for open multi-agent systems: a review. Artif Intell Rev 40(1):1\u201325. https:\/\/doi.org\/10.1007\/s10462-011-9277-z","journal-title":"Artif Intell Rev"},{"key":"130_CR5","doi-asserted-by":"publisher","first-page":"1499","DOI":"10.1007\/978-3-540-30301-5_65","volume-title":"Handbook of Robotics","author":"G Veruggio","year":"2008","unstructured":"Veruggio G, Operto F (2008) Roboethics: social and ethical implications of robotics. In: Siciliano B, Khatib O (eds) Handbook of Robotics. Springer, Berlin, pp 1499\u20131524. https:\/\/doi.org\/10.1007\/978-3-540-30301-5_65"},{"key":"130_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21714-7","volume-title":"Roboethics: A Navigating Overview. Intelligent systems, control and automation: science and engineering","author":"SG Tzafestas","year":"2016","unstructured":"Tzafestas SG (2016) Roboethics: A Navigating Overview. Intelligent systems, control and automation: science and engineering, vol 79. Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-319-21714-7"},{"key":"130_CR7","first-page":"399","volume":"2007","author":"C Ellison","year":"2007","unstructured":"Ellison C (2007) Ceremony design and analysis. Cryptol ePrint Archiv Rep 2007:399","journal-title":"Cryptol ePrint Archiv Rep"},{"key":"130_CR8","first-page":"104","volume-title":"Ceremony analysis: strengths and weaknesses. Inform. Security and Privacy. IFIP AICT","author":"K Radke","year":"2011","unstructured":"Radke K, Boyd C, Nieto JMG, Brereton M (2011) Ceremony analysis: strengths and weaknesses. Inform. Security and Privacy. IFIP AICT, vol 354. Springer, Berlin, pp 104\u2013115"},{"key":"130_CR9","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-36159-6_24","volume-title":"User interaction design for secure systems. Information and communications security. LNCS","author":"KP Yee","year":"2002","unstructured":"Yee KP (2002) User interaction design for secure systems. Information and communications security. LNCS, vol 2513. Springer, Berlin, pp 278\u2013290. https:\/\/doi.org\/10.1007\/3-540-36159-6_24"},{"issue":"2","key":"130_CR10","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s11334-008-0050-7","volume":"4","author":"R Ruksenas","year":"2008","unstructured":"Ruksenas R, Curzon P, Blandford A (2008) Modelling and analysing cognitive causes of security breaches. Innov Syst Softw Eng 4(2):143\u2013160","journal-title":"Innov Syst Softw Eng"},{"issue":"12","key":"130_CR11","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/322796.322806","volume":"42","author":"A Adams","year":"1999","unstructured":"Adams A, Sasse MA (1999) Users are not the enemy. Commun ACM 42(12):40\u201346","journal-title":"Commun ACM"},{"issue":"4","key":"130_CR12","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/1330311.1330320","volume":"51","author":"R West","year":"2008","unstructured":"West R (2008) The psychology of security. Commun ACM 51(4):34\u201340","journal-title":"Commun ACM"},{"issue":"3","key":"130_CR13","first-page":"489","volume":"12","author":"JK Lee","year":"2016","unstructured":"Lee JK, Moon SY, Park JH (2016) Hb-dipm: human behavior analysis-based malware detection and intrusion prevention model in the future internet. J Inf Process Syst 12(3):489\u2013501","journal-title":"J Inf Process Syst"},{"issue":"1","key":"130_CR14","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/2063176.2063197","volume":"55","author":"J Hong","year":"2012","unstructured":"Hong J (2012) The state of phishing attacks. Commun ACM 55(1):74\u201381. https:\/\/doi.org\/10.1145\/2063176.2063197","journal-title":"Commun ACM"},{"key":"130_CR15","doi-asserted-by":"publisher","unstructured":"Fette I, Sadeh N, Tomasic A (2007) Learning to detect phishing emails. In: Proceedings of the 16th international conference on World Wide Web. WWW \u201907. ACM, New York, pp 649\u2013656. https:\/\/doi.org\/10.1145\/1242572.1242660","DOI":"10.1145\/1242572.1242660"},{"key":"130_CR16","doi-asserted-by":"publisher","unstructured":"Abu-Nimeh S, Nappa D, Wang X, Nair S (2007) A comparison of machine learning techniques for phishing detection. In: Proceedings of the anti-phishing working groups 2Nd annual eCrime researchers summit. eCrime \u201907. ACM, pp 60\u201369. https:\/\/doi.org\/10.1145\/1299015.1299021","DOI":"10.1145\/1299015.1299021"},{"key":"130_CR17","doi-asserted-by":"publisher","unstructured":"Egelman S, Cranor LF, Hong J (2008) You\u2019ve been warned: an empirical study of the effectiveness of web browser phishing warnings. In: Proceedings of the SIGCHI conference on human factors in computing systems. CHI \u201908. ACM, New York, pp 1065\u20131074. https:\/\/doi.org\/10.1145\/1357054.1357219","DOI":"10.1145\/1357054.1357219"},{"issue":"2","key":"130_CR18","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1754393.1754396","volume":"10","author":"P Kumaraguru","year":"2010","unstructured":"Kumaraguru P, Sheng S, Acquisti A, Cranor LF, Hong J (2010) Teaching johnny not to fall for phish. ACM Trans Internet Technol 10(2):7\u20131731. https:\/\/doi.org\/10.1145\/1754393.1754396","journal-title":"ACM Trans Internet Technol"},{"key":"130_CR19","volume-title":"Handbook of Ambient Assisted Living","author":"JC Augusto","year":"2012","unstructured":"Augusto JC, Huch M, Kameas A, Maitland J, McCullagh P, Roberts J, Sixsmith A, Wichert R (2012) Handbook of Ambient Assisted Living. IOS Press, Amsterdam"},{"key":"130_CR20","doi-asserted-by":"publisher","unstructured":"Brush, A.J.B., Lee, B., Mahajan, R., Agarwal, S., Saroiu, S., Dixon, C.: Home automation in the wild: Challenges and opportunities. In: SIGCHI, pp. 2115\u20132124. ACM, (2011). https:\/\/doi.org\/10.1145\/1978942.1979249","DOI":"10.1145\/1978942.1979249"},{"key":"130_CR21","doi-asserted-by":"publisher","unstructured":"Johansen C, Pedersen T, J\u00f8sang A (2016) Towards behavioural computer science. In: 10th IFIP WG 11.11 international conference on trust management (IFIPTM). IFIP AICT advances in information and communication technology, vol. 473. Springer, Berlin, pp 154\u2013163. https:\/\/doi.org\/10.1007\/978-3-319-41354-9_12","DOI":"10.1007\/978-3-319-41354-9_12"},{"issue":"4","key":"130_CR22","first-page":"493","volume":"69","author":"HA Simon","year":"1979","unstructured":"Simon HA (1979) Rational decision making in business organizations. Am Econ Rev 69(4):493\u2013513","journal-title":"Am Econ Rev"},{"key":"130_CR23","volume-title":"Reason in human affairs","author":"HA Simon","year":"1983","unstructured":"Simon HA (1983) Reason in human affairs. Stanford University Press, Palo Alto"},{"key":"130_CR24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4711.001.0001","volume-title":"Models of bounded rationality: empirically grounded economic reason","author":"HA Simon","year":"1997","unstructured":"Simon HA (1997) Models of bounded rationality: empirically grounded economic reason. MIT Press, Cambridge"},{"key":"130_CR25","volume-title":"Nudge: improving decisions about health, wealth, and happiness","author":"RH Thaler","year":"2008","unstructured":"Thaler RH, Sunstein CR (2008) Nudge: improving decisions about health, wealth, and happiness. Yale University Press, New Haven"},{"issue":"1","key":"130_CR26","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1257\/089533006776526076","volume":"20","author":"D Kahneman","year":"2006","unstructured":"Kahneman D, Thaler RH (2006) Anomalies: utility maximization and experienced utility. J Econ Persp 20(1):221\u2013234. https:\/\/doi.org\/10.1257\/089533006776526076","journal-title":"J Econ Persp"},{"key":"130_CR27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511808098","volume-title":"Heuristics and Biases: the psychology of intuitive judgment","author":"T Gilovich","year":"2002","unstructured":"Gilovich T, Griffin D, Kahneman D (2002) Heuristics and Biases: the psychology of intuitive judgment. Cambridge University Press, Cambridge"},{"issue":"4157","key":"130_CR28","doi-asserted-by":"publisher","first-page":"1124","DOI":"10.1126\/science.185.4157.1124","volume":"185","author":"A Tversky","year":"1974","unstructured":"Tversky A, Kahneman D (1974) Judgment under uncertainty: Heuristics and biases. Science 185(4157):1124\u20131131","journal-title":"Science"},{"key":"130_CR29","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1037\/0003-066X.58.9.697","volume":"58","author":"D Kahneman","year":"2003","unstructured":"Kahneman D (2003) A perspective on judgment and choice: mapping bounded rationality. Am Psychol 58:697\u2013720","journal-title":"Am Psychol"},{"key":"130_CR30","volume-title":"Behavioral game theory: experiments in strategic interaction","author":"CF Camerer","year":"2003","unstructured":"(2003) Behavioral game theory: experiments in strategic interaction. Princeton University Press, Princeton"},{"key":"130_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-7034-8","volume-title":"Handbook of sustainable travel","author":"T G\u00e4rling","year":"2014","unstructured":"G\u00e4rling T, Ettema D, Friman M (2014) Handbook of sustainable travel. Springer, Berlin"},{"issue":"8","key":"130_CR32","doi-asserted-by":"publisher","first-page":"1926","DOI":"10.1111\/j.1559-1816.2011.00789.x","volume":"41","author":"T Pedersen","year":"2011","unstructured":"Pedersen T, Friman M, Kristensson P (2011) Affective forecasting: predicting and experiencing satisfaction with public transportation. J Appl Soc Psychol 41(8):1926\u20131946. https:\/\/doi.org\/10.1111\/j.1559-1816.2011.00789.x","journal-title":"J Appl Soc Psychol"},{"key":"130_CR33","first-page":"273","volume-title":"Layered analysis of security ceremonies. Information security and privacy. IFIP AICT","author":"G Bella","year":"2012","unstructured":"Bella G, Coles-Kemp L (2012) Layered analysis of security ceremonies. Information security and privacy. IFIP AICT, vol 376. Springer, Berlin, pp 273\u2013286"},{"issue":"2","key":"130_CR34","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev D, Yao AC (1983) On the security of public key protocols. IEEE Trans Inf Theory 29(2):198\u2013207. https:\/\/doi.org\/10.1109\/TIT.1983.1056650","journal-title":"IEEE Trans Inf Theory"},{"key":"130_CR35","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/360204.360213","volume-title":"POPL","author":"M Abadi","year":"2001","unstructured":"Abadi M (2001) Mobile values, new names, and secure communication. In: Hankin C, Schmidt D et al (eds) POPL. ACM, New York, pp 104\u2013115"},{"key":"130_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3127586","volume":"65","author":"M Abadi","year":"2016","unstructured":"Abadi M, Blanchet B, Fournet C (2016) The applied pi calculus: mobile values, new names, and secure communication. J ACM 65:1","journal-title":"J ACM"},{"issue":"2","key":"130_CR37","first-page":"105","volume":"26","author":"R Seman\u010d\u00edk","year":"2007","unstructured":"Seman\u010d\u00edk R (2007) Basic properties of the persona model. Comput Inf 26(2):105\u2013121","journal-title":"Comput Inf"},{"issue":"3","key":"130_CR38","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1109\/TSMCA.2012.2210406","volume":"43","author":"M Bolton","year":"2013","unstructured":"Bolton M, Bass E, Siminiceanu R (2013) Using formal verification to evaluate human-automation interaction: a review. IEEE Trans Syst Man Cyb 43(3):488\u2013503. https:\/\/doi.org\/10.1109\/TSMCA.2012.2210406","journal-title":"IEEE Trans Syst Man Cyb"},{"issue":"4","key":"130_CR39","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1006\/ijhc.2001.0483","volume":"55","author":"N Bevan","year":"2001","unstructured":"Bevan N (2001) International standards for HCI and usability. Int J Hum Comput Studies 55(4):533\u2013552. https:\/\/doi.org\/10.1006\/ijhc.2001.0483","journal-title":"Int J Hum Comput Studies"},{"key":"130_CR40","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-319-17016-9_18","volume-title":"Workshop on quantitative aspects in security assurance (QASA). LNCS","author":"C Johansen","year":"2014","unstructured":"Johansen C, J\u00f8sang A (2014) Probabilistic modeling of humans in security ceremonies. In: Aldini A, Martinelli F, Suri N (eds) Workshop on quantitative aspects in security assurance (QASA). LNCS, vol 8872. Springer, Berlin, pp 277\u2013292. https:\/\/doi.org\/10.1007\/978-3-319-17016-9_18"},{"issue":"3","key":"130_CR41","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1207\/s15327051hci0103_1","volume":"1","author":"A Newell","year":"1985","unstructured":"Newell A, Card SK (1985) The prospects for psychological science in Human\u2013Computer interaction. Hum Comput Interact 1(3):209\u2013242. https:\/\/doi.org\/10.1207\/s15327051hci0103_1","journal-title":"Hum Comput Interact"},{"key":"130_CR42","volume-title":"Formal methods in Human\u2013Computer interaction","year":"1990","unstructured":"Harrison M, Thimbleby H (eds) (1990) Formal methods in Human\u2013Computer interaction. Cambridge Univ Press, Cambridge"},{"key":"130_CR43","volume-title":"HCI models, theories, and frameworks: toward a multidisciplinary science. Morgan Kaufmann","author":"JM Carroll","year":"2003","unstructured":"Carroll JM (2003) HCI models, theories, and frameworks: toward a multidisciplinary science. Morgan Kaufmann. Elsevier, Amsterdam"},{"key":"130_CR44","volume-title":"Satisfaction: a behavioral perspective on the consumer","author":"RL Oliver","year":"2010","unstructured":"Oliver RL (2010) Satisfaction: a behavioral perspective on the consumer. M.E, Sharpe, New York"},{"key":"130_CR45","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1017\/CBO9780511803475.039","volume-title":"Choices, values and frames","author":"D Kahneman","year":"2000","unstructured":"Kahneman D (2000) Evaluation by moments, past and future. In: Kahneman D, Tversky a (eds) Choices, values and frames. Cambridge University Press, Cambridge, p 693"},{"key":"130_CR46","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/S0065-2601(03)01006-2","volume-title":"Affective forecasting. Advances in experimental social psychology","author":"TD Wilson","year":"2003","unstructured":"Wilson TD, Gilbert DT (2003) Affective forecasting. Advances in experimental social psychology, vol 35. Academic Press, Cambridge, pp 345\u2013411. https:\/\/doi.org\/10.1016\/S0065-2601(03)01006-2"},{"key":"130_CR47","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1017\/CBO9780511808098.024","volume-title":"Heuristics and biases","author":"SA Sloman","year":"2002","unstructured":"Sloman SA (2002) Two systems of reasoning. In: Gilovich T, Griffin D, Kahneman D (eds) Heuristics and biases. Cambridge University Press, Cambridge, pp 379\u2013396"},{"key":"130_CR48","volume-title":"The science of persuasion. Scientific American","author":"RB Cialdini","year":"2001","unstructured":"Cialdini RB (2001) The science of persuasion. Scientific American. Springer, Berlin"},{"issue":"4","key":"130_CR49","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s001650070021","volume":"12","author":"R Butterworth","year":"2000","unstructured":"Butterworth R, Blandford A, Duke DJ (2000) Demonstrating the cognitive plausibility of interactive system specifications. Formal Asp Comput 12(4):237\u2013259. https:\/\/doi.org\/10.1007\/s001650070021","journal-title":"Formal Asp Comput"},{"issue":"4","key":"130_CR50","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/s00165-007-0035-6","volume":"19","author":"P Curzon","year":"2007","unstructured":"Curzon P, Ruksenas R, Blandford A (2007) An approach to formal verification of Human\u2013Computer interaction. Formal Asp Comput 19(4):513\u2013550. https:\/\/doi.org\/10.1007\/s00165-007-0035-6","journal-title":"Formal Asp Comput"},{"issue":"6","key":"130_CR51","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/s00165-008-0102-7","volume":"21","author":"R Ruksenas","year":"2009","unstructured":"Ruksenas R, Back J, Curzon P, Blandford A (2009) Verification-guided modelling of salience and cognitive load. Formal Asp Comput 21(6):541\u2013569. https:\/\/doi.org\/10.1007\/s00165-008-0102-7","journal-title":"Formal Asp Comput"},{"key":"130_CR52","volume-title":"Unified theories of cognition","author":"A Newell","year":"1990","unstructured":"Newell A (1990) Unified theories of cognition. Harvard University Press, Cambridge"},{"key":"130_CR53","doi-asserted-by":"publisher","DOI":"10.1201\/9781420038194","volume-title":"Joint cognitive systems: foundations of cognitive systems engineering","author":"E Hollnagel","year":"2005","unstructured":"Hollnagel E, Woods DD (2005) Joint cognitive systems: foundations of cognitive systems engineering. CRC Press, Boca Raton"},{"issue":"11","key":"130_CR54","doi-asserted-by":"publisher","first-page":"1480","DOI":"10.1177\/01461672012711009","volume":"27","author":"R Buehler","year":"2001","unstructured":"Buehler R, McFarland C (2001) Intensity bias in affective forecasting: the role of temporal focus. Personal Soc Psychol Bull 27(11):1480\u20131493","journal-title":"Personal Soc Psychol Bull"},{"key":"130_CR55","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems: specification","author":"Z Manna","year":"1992","unstructured":"Manna Z, Pnueli A (1992) The temporal logic of reactive and concurrent systems: specification. Springer, Berlin"},{"key":"130_CR56","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and temporal properties of processes","author":"C Stirling","year":"2001","unstructured":"Stirling C (2001) Modal and temporal properties of processes. Springer, Berlin"},{"key":"130_CR57","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen JP (2008) Principles of model checking. MIT Press, Cambridge"},{"issue":"1","key":"130_CR58","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1037\/0022-3514.83.1.198","volume":"83","author":"MD Robinson","year":"2002","unstructured":"Robinson MD, Clore GL (2002) Episodic and semantic knowledge in emotional self-report. J Personal Soc Psychol 83(1):198\u2013215","journal-title":"J Personal Soc Psychol"},{"key":"130_CR59","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D Harel","year":"2000","unstructured":"Harel D, Tiuryn J, Kozen D (2000) Dynamic logic. MIT Press, Cambridge"},{"key":"130_CR60","volume-title":"Verification of object-oriented software: the keY approach","author":"B Beckert","year":"2007","unstructured":"Beckert B, H\u00e4hnle R, Schmitt PH (2007) Verification of object-oriented software: the keY approach. Springer, Berlin"},{"key":"130_CR61","volume-title":"Cognitive models of memory","author":"MA Conway","year":"1997","unstructured":"Conway MA (1997) Cognitive models of memory. MIT Press, Cambridge"},{"key":"130_CR62","volume-title":"Human memory: an introduction to research, data, and theory","author":"I Neath","year":"2003","unstructured":"Neath I, Surprenant AM (2003) Human memory: an introduction to research, data, and theory, 2nd edn. Thomson\/Wadsworth, Belmont","edition":"2"},{"issue":"1","key":"130_CR63","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1207\/s15516709cog2101_2","volume":"21","author":"MD Byrne","year":"1997","unstructured":"Byrne MD, Bovair S (1997) A working memory model of a common procedural error. Cogn Sci 21(1):31\u201361. https:\/\/doi.org\/10.1207\/s15516709cog2101_2","journal-title":"Cogn Sci"},{"issue":"4","key":"130_CR64","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1016\/j.jml.2006.08.009","volume":"55","author":"K Oberauer","year":"2006","unstructured":"Oberauer K, Kliegl R (2006) A formal model of capacity limits in working memory. J Memory Lang 55(4):601\u2013626. https:\/\/doi.org\/10.1016\/j.jml.2006.08.009","journal-title":"J Memory Lang"},{"key":"130_CR65","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-2476-4","volume-title":"Cognitive informatics for revealing human cognition: knowledge manipulations in natural intelligence","author":"Y Wang","year":"2013","unstructured":"Wang Y (2013) Cognitive informatics for revealing human cognition: knowledge manipulations in natural intelligence. IGI Global, Hershey"},{"key":"130_CR66","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin R, Halpern JY, Moses Y, Vardi MY (1995) Reasoning about knowledge. MIT Press, Cambridge"},{"issue":"2","key":"130_CR67","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag A, Moss LS (2004) Logics for epistemic programs. Synthese 139(2):165\u2013224","journal-title":"Synthese"},{"issue":"5","key":"130_CR68","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1037\/0022-3514.78.5.821","volume":"78","author":"TD Wilson","year":"2000","unstructured":"Wilson TD, Wheatley T, Meyers JM, Gilbert DT, Axsom D (2000) Focalism: a source of durability bias in affective forecasting. J Person Soc Psychol 78(5):821\u2013836","journal-title":"J Person Soc Psychol"},{"key":"130_CR69","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01492-5","volume-title":"Handbook of weighted automata","author":"M Droste","year":"2009","unstructured":"Droste M, Kuich W, Vogler H (2009) Handbook of weighted automata. Springer, Berlin"},{"key":"130_CR70","doi-asserted-by":"publisher","unstructured":"Kwiatkowska MZ (2007) Quantitative verification: models techniques and tools. In: Foundations of software engineering ACM SIGSOFT. ACM, pp 449\u2013458. https:\/\/doi.org\/10.1145\/1287624.1287688","DOI":"10.1145\/1287624.1287688"},{"key":"130_CR71","doi-asserted-by":"crossref","unstructured":"Ruksenas R, Curzon P, Back J, Blandford A (2007) Formal Modelling of Cognitive Interpretation. In: 13th International workshop on design, specification, and verification of interactive systems (DSVIS\u201906). LNCS, vol. 4323. Springer, Berlin, pp 123\u2013136","DOI":"10.1007\/978-3-540-69554-7_10"},{"issue":"3","key":"130_CR72","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1142\/S0218488501000831","volume":"9","author":"A J\u00f8sang","year":"2001","unstructured":"J\u00f8sang A (2001) A logic for uncertain probabilities. Int J Uncertain Fuzziness Knowl Based Syst 9(3):279\u2013311. https:\/\/doi.org\/10.1142\/S0218488501000831","journal-title":"Int J Uncertain Fuzziness Knowl Based Syst"},{"issue":"1","key":"130_CR73","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jenvp.2011.10.004","volume":"32","author":"T Pedersen","year":"2012","unstructured":"Pedersen T, Kristensson P, Friman M (2012) Counteracting the focusing illusion: effects of defocusing on car users predicted satisfaction with public transport. J Environ Psychol 32(1):30\u201336. https:\/\/doi.org\/10.1016\/j.jenvp.2011.10.004","journal-title":"J Environ Psychol"},{"key":"130_CR74","doi-asserted-by":"crossref","unstructured":"Pavlovic D, Meadows C (2011) Actor-network procedures: modeling multi-factor authentication, device pairing, social interactions. arXiv.org","DOI":"10.1007\/978-3-642-28073-3_2"},{"issue":"1","key":"130_CR75","first-page":"75","volume":"2","author":"W Pieters","year":"2011","unstructured":"Pieters W (2011) Representing humans in system security models: an actor-network approach. J Wirel Mobile Netw Ubiquitous Comput Dependable Appl 2(1):75\u201392","journal-title":"J Wirel Mobile Netw Ubiquitous Comput Dependable Appl"},{"key":"130_CR76","doi-asserted-by":"publisher","unstructured":"Prisacariu C (2014) Actor network procedures as psi-calculi for security ceremonies. In: International workshop on graphical models for security. Electronic proceedings in theoretical computer science, vol. 148. Open Publishing Association., pp 63\u201377. https:\/\/doi.org\/10.4204\/EPTCS.148.5","DOI":"10.4204\/EPTCS.148.5"},{"key":"130_CR77","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780199256044.001.0001","volume-title":"Reassembling the social\u2014an introduction to actor-network-theory","author":"B Latour","year":"2005","unstructured":"Latour B (2005) Reassembling the social\u2014an introduction to actor-network-theory. Oxford Univ Press, Oxford"},{"issue":"3","key":"130_CR78","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231\u2013274","journal-title":"Sci Comput Program"},{"issue":"4","key":"130_CR79","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D Harel","year":"1996","unstructured":"Harel D, Naamad A (1996) The statemate semantics of statecharts. ACM TOSEM 5(4):293\u2013333","journal-title":"ACM TOSEM"},{"key":"130_CR80","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s play: scenario-based programming using LSCs and the play-engine","author":"D Harel","year":"2003","unstructured":"Harel D, Marelly R (2003) Come, Let\u2019s play: scenario-based programming using LSCs and the play-engine, vol 1. Springer, Berlin"},{"key":"130_CR81","doi-asserted-by":"crossref","DOI":"10.4324\/9781315665177","volume-title":"Engineering psychology and human performance","author":"CD Wickens","year":"2015","unstructured":"Wickens CD, Hollands JG, Banbury S, Parasuraman R (2015) Engineering psychology and human performance, 4th edn. Taylor & Francis, Rautledge","edition":"4"},{"key":"130_CR82","doi-asserted-by":"publisher","DOI":"10.1002\/9781118131350","volume-title":"Handbook of human factors and ergonomics","author":"G Salvendy","year":"2012","unstructured":"Salvendy G (2012) Handbook of human factors and ergonomics. Wiley, New Jersey"},{"key":"130_CR83","doi-asserted-by":"publisher","DOI":"10.1201\/b16826","volume-title":"A guide to task analysis: the task analysis working group","author":"B Kirwan","year":"1992","unstructured":"Kirwan B, Ainsworth LK (1992) A guide to task analysis: the task analysis working group. Taylor & Francis, Rautledge"},{"key":"130_CR84","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7304.001.0001","volume-title":"Working minds: a practitioner\u2019s guide to cognitive task analysis","author":"B Crandall","year":"2006","unstructured":"Crandall B, Klein GA, Hoffman RR (2006) Working minds: a practitioner\u2019s guide to cognitive task analysis. MIT Press, Cambridge"},{"key":"130_CR85","doi-asserted-by":"publisher","unstructured":"Paterno F, Mancini C, Meniconi S (1997) In: Howard S, Hammond J, Lindgaard G (eds) ConcurTaskTrees: a diagrammatic notation for specifying task models. Springer, Boston, pp 362\u2013369. https:\/\/doi.org\/10.1007\/978-0-387-35175-9_58","DOI":"10.1007\/978-0-387-35175-9_58"},{"key":"130_CR86","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/11752707_20","volume-title":"Interactive systems. Design, specification, and verification","author":"L N\u00f3brega","year":"2006","unstructured":"N\u00f3brega L, Nunes NJ, Coelho H (2006) Mapping concurtasktrees into uml 2.0. In: Gilroy SW, Harrison MD (eds) Interactive systems. Design, specification, and verification. Springer, Berlin, pp 237\u2013248"},{"issue":"3","key":"130_CR87","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1109\/TSMC.1986.4308966","volume":"16","author":"CM Mitchell","year":"1986","unstructured":"Mitchell CM, Miller RA (1986) A discrete control model of operator function: a methodology for information display design. IEEE Trans Syst Man Cybernet 16(3):343\u2013357","journal-title":"IEEE Trans Syst Man Cybernet"},{"issue":"5","key":"130_CR88","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1109\/TSMCA.2011.2109709","volume":"41","author":"ML Bolton","year":"2011","unstructured":"Bolton ML, Siminiceanu RI, Bass EJ (2011) A systematic approach to model checking Human\u2013Automation interaction using task analytic models. IEEE Trans Syst Man Cybern Part A Syst Hum 41(5):961\u2013976. https:\/\/doi.org\/10.1109\/TSMCA.2011.2109709","journal-title":"IEEE Trans Syst Man Cybern Part A Syst Hum"},{"issue":"3","key":"130_CR89","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s11334-010-0129-9","volume":"6","author":"ML Bolton","year":"2010","unstructured":"Bolton ML, Bass EJ (2010) Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs. Innov Syst Softw Eng 6(3):219\u2013231","journal-title":"Innov Syst Softw Eng"},{"key":"130_CR90","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-77222-4_8","volume-title":"Task models and diagrams for user interface design","author":"J-L P\u00e9rez-Medina","year":"2007","unstructured":"P\u00e9rez-Medina J-L, Dupuy-Chessa S, Front A (2007) A survey of model driven engineering tools for user interface design. In: Winckler M, Johnson H, Palanque P (eds) Task models and diagrams for user interface design. Springer, Berlin, pp 84\u201397"},{"issue":"4","key":"130_CR91","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/503112.503114","volume":"33","author":"MY Ivory","year":"2001","unstructured":"Ivory MY, Hearst MA (2001) The state of the art in automating usability evaluation of user interfaces. ACM Comput Surv 33(4):470\u2013516","journal-title":"ACM Comput Surv"},{"issue":"5","key":"130_CR92","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/j.intcom.2010.04.006","volume":"22","author":"EL-C Law","year":"2010","unstructured":"Law EL-C, Van Schaik P (2010) Modelling user experience-an agenda for research and practice. Interact comput 22(5):313\u2013322","journal-title":"Interact comput"},{"key":"130_CR93","volume-title":"Social influence","author":"JC Turner","year":"1991","unstructured":"Turner JC (1991) Social influence. Thomson Brooks\/Cole Publishing Co, Pacific Grove"},{"key":"130_CR94","volume-title":"Securing the State","author":"D Omand","year":"2012","unstructured":"Omand D (2012) Securing the State. C Hurst Publishers, London"}],"container-title":["Human-centric Computing and Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s13673-018-0130-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1186\/s13673-018-0130-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s13673-018-0130-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,5]],"date-time":"2024-07-05T18:30:45Z","timestamp":1720204245000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1186\/s13673-018-0130-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,23]]},"references-count":94,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["130"],"URL":"https:\/\/doi.org\/10.1186\/s13673-018-0130-0","relation":{},"ISSN":["2192-1962"],"issn-type":[{"value":"2192-1962","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,23]]},"assertion":[{"value":"15 February 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 March 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 March 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"7"}}