{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T12:54:11Z","timestamp":1787316851364,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030549961","type":"print"},{"value":"9783030549978","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-54997-8_16","type":"book-chapter","created":{"date-parts":[[2020,8,10]],"date-time":"2020-08-10T16:11:50Z","timestamp":1597075910000},"page":"237-253","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation"],"prefix":"10.1007","author":[{"given":"Ken","family":"Pierce","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carl","family":"Gamble","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Golightly","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roberto","family":"Palac\u00edn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,8,11]]},"reference":[{"key":"16_CR1","unstructured":"Alfredson, J., Johansson, B., Gonzaga Trabasso, L., Schminder, J., Granlund, R., G\u00e5rdhagen, R.: Design of a distributed human factors laboratory for future airsystems. In: Proceedings of the ICAS Congress. International Council of the Aeronautical Sciences (2018)"},{"issue":"4","key":"16_CR2","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1037\/0033-295X.111.4.1036","volume":"111","author":"J Anderson","year":"2004","unstructured":"Anderson, J., Bothell, D., Byrne, M., Douglass, S., Lebiere, C., Qin, Y.: An integrated theory of the mind. Psychol. Rev. 111(4), 1036\u20131060 (2004)","journal-title":"Psychol. Rev."},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.procir.2015.01.049","volume":"36","author":"B Beckmann-Dobrev","year":"2015","unstructured":"Beckmann-Dobrev, B., Kind, S., Stark, R.: Hybrid simulators for product service-systems: innovation potential demonstrated on urban bike mobility. Procedia CIRP 36, 78\u201382 (2015). 25th CIRP Design Conference on Innovative Product Creation","journal-title":"Procedia CIRP"},{"key":"16_CR4","unstructured":"Blanchonette, P.: Jack human modelling tool: a review. Technical report DSTO-TR-2364, Defence Science and Technology Organisation (Australia) Air Operations Division (2010)"},{"issue":"5","key":"16_CR5","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1080\/19401493.2017.1417483","volume":"11","author":"J Chapman","year":"2018","unstructured":"Chapman, J., Siebers, P.O., Robinson, D.: On the multi-agent stochastic simulation of occupants in buildings. J. Build. Perform. Simul. 11(5), 604\u2013621 (2018)","journal-title":"J. Build. Perform. Simul."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Cummings, M., Nehme, E.C.: Modeling the impact of workload in network centric supervisory control settings. In: Steinberg, R., Kornguth, S., Matthews, M.D. (eds.) Neurocognitive and Physiological Factors During High-Tempo Operations, chap. 3, pp. 23\u201340. Taylor & Francis, Abingdon (2010)","DOI":"10.1201\/9781315597850-4"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1518\/001872007779598109","volume":"49","author":"M Cummings","year":"2007","unstructured":"Cummings, M., Guerlain, S.: Developing operator capacity estimates for supervisory control of autonomous vehicles. Hum. Factors 49(1), 1\u201315 (2007)","journal-title":"Hum. Factors"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-319-07668-3_19","volume-title":"Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience","author":"S Filippi","year":"2014","unstructured":"Filippi, S., Barattin, D.: In-depth analysis of non-deterministic aspects of human-machine interaction and update of dedicated functional mock-ups. In: Marcus, A. (ed.) DUXU 2014. LNCS, vol. 8517, pp. 185\u2013196. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07668-3_19"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J., Gamble, C., Payne, R., Larsen, P.G., Basagiannis, S., Mady, A.E.D.: Collaborative Model-based Systems Engineering for Cyber-Physical Systems - a Case Study in Building Automation. In: Proceedings of INCOSE International Symposium on Systems Engineering. Edinburgh, Scotland (July 2016)","DOI":"10.1002\/j.2334-5837.2016.00195.x"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10111-011-0201-8","volume":"14","author":"JM Flach","year":"2012","unstructured":"Flach, J.M.: Complexity: learning to muddle through. Cogn. Technol. Work 14(3), 187\u2013197 (2012)","journal-title":"Cogn. Technol. Work"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Flammini, F., Pragliola, C., Smarra, G.: Railway infrastructure monitoring by drones. In: 2016 International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles International Transportation Electrification Conference (ESARS-ITEC), pp. 1\u20136 (2016)","DOI":"10.1109\/ESARS-ITEC.2016.7841398"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-319-74781-1_23","volume-title":"Software Engineering and Formal Methods","author":"FF Foldager","year":"2018","unstructured":"Foldager, F.F., Larsen, P.G., Green, O.: Development of a driverless lawn mower using co-simulation. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 330\u2013344. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74781-1_23"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Golightly, D., Gamble, C., Palac\u00edn, R., Pierce, K.: Applying ergonomics within the multi-modelling paradigm with an example from multiple UAV control. Ergonomics (2019, to appear)","DOI":"10.1080\/00140139.2020.1723683"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Golightly, D., Gamble, C., Palac\u00edn, R., Pierce, K.: Multi-modelling for decarbonisation in urban rail systems. Urban Rail Transit (2019, submitted)","DOI":"10.1007\/s40864-019-00114-2"},{"issue":"1\u20132","key":"16_CR15","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1080\/14639220903009961","volume":"11","author":"D Golightly","year":"2010","unstructured":"Golightly, D., Wilson, J.R., Lowe, E., Sharples, S.: The role of situation awareness for understanding signalling and control in rail operations. Theor. Issues Ergon. Sci. 11(1\u20132), 84\u201398 (2010)","journal-title":"Theor. Issues Ergon. Sci."},{"issue":"3","key":"16_CR16","doi-asserted-by":"publisher","first-page":"49:1","DOI":"10.1145\/3179993","volume":"51","author":"C Gomes","year":"2018","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 49:1\u201349:33 (2018)","journal-title":"ACM Comput. Surv."},{"key":"16_CR17","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, D.D.: Joint Cognitive Systems: Foundations of Cognitive Systems Engineering, 1st edn. CRC Press, Boca Raton (2005)","edition":"1"},{"issue":"1","key":"16_CR18","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1177\/1541931218621156","volume":"62","author":"L Huang","year":"2018","unstructured":"Huang, L., Cummings, M.L., Nneji, V.C.: Preliminary analysis and simulation of railroad dispatcher workload. Proc. Hum. Factors Ergon. Soc. Annu. Meet. 62(1), 691\u2013695 (2018)","journal-title":"Proc. Hum. Factors Ergon. Soc. Annu. Meet."},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Humann, J., Spero, E.: Modeling and simulation of multi-UAV, multi-operator surveillance systems. In: Annual IEEE International Systems Conference (SysCon 2018), pp. 1\u20138 (2018)","DOI":"10.1109\/SYSCON.2018.8369546"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Kingston, D., Rasmussen, S., Humphrey, L.: Automated UAV tasks for search and surveillance. In: 2016 IEEE Conference on Control Applications (CCA), pp. 1\u20138 (2016)","DOI":"10.1109\/CCA.2016.7587813"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-319-74781-1_26","volume-title":"Software Engineering and Formal Methods","author":"PG Larsen","year":"2018","unstructured":"Larsen, P.G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R., Pierce, K.: Features of integrated model-based co-modelling and co-simulation technology. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 377\u2013390. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74781-1_26"},{"key":"16_CR22","unstructured":"Larsen, P.G., et al.: VDM-10 language manual. Technical report TR-001, The Overture Initiative, April 2013. www.overturetool.org"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Laughery Jr., K.R., Lebiere, C., Archer, S.: Modeling human performance in complex systems, chap. 36, pp. 965\u2013996. Wiley (2006)","DOI":"10.1002\/0470048204.ch36"},{"key":"16_CR24","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-29154-8_23","volume-title":"Mobile and Ubiquitous Systems: Computing, Networking, and Services","author":"T Leclerc","year":"2012","unstructured":"Leclerc, T., Siebert, J., Chevrier, V., Ciarletta, L., Festor, O.: Multi-modeling and co-simulation-based mobile ubiquitous protocols and services development and assessment. In: S\u00e9nac, P., Ott, M., Seneviratne, A. (eds.) MobiQuitous 2010. LNICST, vol. 73, pp. 273\u2013284. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29154-8_23"},{"key":"16_CR25","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. Technical report UCB\/EECS-2008-8, EECS Department, University of California, Berkeley, January 2008. http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/2008\/EECS-2008-8.html"},{"issue":"3","key":"16_CR26","doi-asserted-by":"publisher","first-page":"930","DOI":"10.2514\/1.J055201","volume":"55","author":"C Li","year":"2017","unstructured":"Li, C., Mahadevan, S., Ling, Y., Choze, S., Wang, L.: Dynamic Bayesian network for aircraft wing halth monitoring digital twin. AIAA J. 55(3), 930\u2013941 (2017)","journal-title":"AIAA J."},{"issue":"1","key":"16_CR27","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1207\/s15327051hci0701_3","volume":"7","author":"IS MacKenzie","year":"1992","unstructured":"MacKenzie, I.S.: Fitts\u2019 law as a research and design tool in human-computer interaction. Hum. Comput. Interact. 7(1), 91\u2013139 (1992)","journal-title":"Hum. Comput. Interact."},{"key":"16_CR28","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.apergo.2018.08.001","volume":"79","author":"DL de Mattos","year":"2019","unstructured":"de Mattos, D.L., Neto, R.A., Merino, E.A.D., Forcellini, F.A.: Simulating the influence of physical overload on assembly line performance: a case study in an automotive electrical component plant. Appl. Ergon. 79, 107\u2013121 (2019)","journal-title":"Appl. Ergon."},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Metzmacher, H., W\u00f6lki, D., Schmidt, C., Frisch, J., van Treeck, C.A.: Real-time assessment of human thermal comfort using image recognition in conjunction with a detailed numerical human model. In: 15th International Building Simulation Conference, pp. 691\u2013700 (2017)","DOI":"10.26868\/25222708.2017.180"},{"issue":"1","key":"16_CR30","first-page":"33","volume":"27","author":"M Neghina","year":"2018","unstructured":"Neghina, M., Zamrescu, C.B., Larsen, P.G., Lausdahl, K., Pierce, K.: Multi-paradigm discrete-event modelling and co-simulation of cyber-physical systems. Stud. Inf. Control 27(1), 33\u201342 (2018)","journal-title":"Stud. Inf. Control"},{"key":"16_CR31","volume-title":"Unified Theories of Cognition","author":"A Newell","year":"1990","unstructured":"Newell, A.: Unified Theories of Cognition. Harvard University Press, Cambridge (1990)"},{"issue":"3","key":"16_CR32","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1109\/THMS.2019.2895745","volume":"49","author":"VC Nneji","year":"2019","unstructured":"Nneji, V.C., Cummings, M.L., Stimpson, A.J.: Predicting locomotive crew performance in rail operations with human and automation assistance. IEEE Tran. Hum. Mach. Syst. 49(3), 250\u2013258 (2019)","journal-title":"IEEE Tran. Hum. Mach. Syst."},{"key":"16_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-030-04771-9_2","volume-title":"Software Technologies: Applications and Foundations","author":"M Palmieri","year":"2018","unstructured":"Palmieri, M., Bernardeschi, C., Masci, P.: A flexible framework for FMI-based co-simulation of human-centred cyber-physical systems. In: Mazzara, M., Ober, I., Sala\u00fcn, G. (eds.) STAF 2018. LNCS, vol. 11176, pp. 21\u201333. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-04771-9_2"},{"issue":"4","key":"16_CR34","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.autcon.2007.06.005","volume":"17","author":"N Pelechano","year":"2008","unstructured":"Pelechano, N., Malkawi, A.: Evacuation simulation models: challenges in modeling high rise building evacuation with cellular automata approaches. Autom. Constr. 17(4), 377\u2013385 (2008)","journal-title":"Autom. Constr."},{"issue":"1","key":"16_CR35","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1080\/03081060.2014.976984","volume":"38","author":"J Powell","year":"2015","unstructured":"Powell, J., Palac\u00edn, R.: A comparison of modelled and real-life driving profiles for the simulation of railway vehicle operation. Transp. Plan. Technol. 38(1), 78\u201393 (2015)","journal-title":"Transp. Plan. Technol."},{"key":"16_CR36","doi-asserted-by":"crossref","unstructured":"Rajkumar, R., Lee, I., Sha, L., Stankovic, J.: Cyber-physical systems: the next computing revolution. In: 2010 47th ACM\/IEEE Design Automation Conference (DAC), pp. 731\u2013736 (2010)","DOI":"10.1145\/1837274.1837461"},{"key":"16_CR37","doi-asserted-by":"crossref","unstructured":"Teal, S.L., Rudnicky, A.I.: A performance model of system delay and user strategy selection. In: SIGCHI Conference on Human Factors in Computing Systems, pp. 295\u2013305. ACM (1992)","DOI":"10.1145\/142750.142818"},{"key":"16_CR38","unstructured":"Thule, C., Lausdahl, K., Gomes, C., Meisl, G., Larsen, P.G.: Maestro: The INTO-CPS CO-simulation framework. Simul. Model. Pract. Theory 92, 45\u201361 (2019). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1569190X1830193X"},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"Verhoef, M., Larsen, P.G.: Enhancing VDM++ for modeling distributed embedded real-time systems. Technical report, Radboud University Nijmegen, March 2006. A preliminary version of this report is available on-line at http:\/\/www.cs.ru.nl\/~marcelv\/vdm\/","DOI":"10.1007\/11813040_11"},{"key":"16_CR40","unstructured":"Vilim, R., Thomas, K.: Operator support technologies for fault tolerance and resilience. In: Advanced Sensors and Instrumentation Newsletter, pp. 1\u20134. U.S. Department for Energy (2016)"},{"issue":"2","key":"16_CR41","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1177\/0018720815622761","volume":"58","author":"CD Wickens","year":"2016","unstructured":"Wickens, C.D., Gutzwiller, R.S., Vieane, A., Clegg, B.A., Sebok, A., Janes, J.: Time sharing between robotics and process control: validating a model of attention switching. Hum. Factors 58(2), 322\u2013343 (2016)","journal-title":"Hum. Factors"},{"key":"16_CR42","unstructured":"Zervakis, G., Pierce, K., Gamble, C.: Multi-modelling of Cooperative Swarms. In: Pierce, K., Verhoef, M. (eds.) The 16th Overture Workshop, pp. 57\u201370. Newcastle University, School of Computing, Oxford, July 2018. TR-1524"}],"container-title":["Lecture Notes in Computer Science","Formal Methods. FM 2019 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54997-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,6]],"date-time":"2022-11-06T07:10:42Z","timestamp":1667718642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-54997-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030549961","9783030549978"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54997-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"11 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=84","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"129","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"34% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}