{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T15:53:16Z","timestamp":1774540396665,"version":"3.50.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030837228","type":"print"},{"value":"9783030837235","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-83723-5_5","type":"book-chapter","created":{"date-parts":[[2021,8,4]],"date-time":"2021-08-04T06:02:58Z","timestamp":1628056978000},"page":"54-71","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3262-5577","authenticated-orcid":false,"given":"Tao","family":"Yue","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6253-4062","authenticated-orcid":false,"given":"Paolo","family":"Arcaini","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9979-3519","authenticated-orcid":false,"given":"Shaukat","family":"Ali","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,8,5]]},"reference":[{"key":"5_CR1","unstructured":"The FMI Standard. https:\/\/fmi-standard.org\/"},{"key":"5_CR2","unstructured":"Asare, P., et al.: Cyber-Physical Systems - A Concept Map. http:\/\/cyberphysicalsystems.org\/"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Bandyszak, T., Daun, M., Tenbergen, B., Weyer, T.: Model-based documentation of context uncertainty for cyber-physical systems. In: 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE), pp. 1087\u20131092. IEEE (2018)","DOI":"10.1109\/COASE.2018.8560480"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: 2010 18th IEEE International Requirements Engineering Conference, pp. 125\u2013134. IEEE (2010)","DOI":"10.1109\/RE.2010.25"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-319-32156-1_5","volume-title":"Mechatronic Futures","author":"S Boschert","year":"2016","unstructured":"Boschert, S., Rosen, R.: Digital twin\u2014the simulation aspect. In: Hehenberger, P., Bradley, D. (eds.) Mechatronic Futures, pp. 59\u201374. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-32156-1_5"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Cameron, D.B., Waaler, A., Komulainen, T.M.: Oil and gas digital twins after twenty years. How can they be made sustainable, maintainable and useful? In: Proceedings of the 59th Conference on Simulation and Modelling (SIMS 59), 26\u201328 September 2018, Oslo Metropolitan University, Norway, pp. 9\u201316. Link\u00f6ping University Electronic Press (2018)","DOI":"10.3384\/ecp181539"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Camilli, M., Bellettini, C., Gargantini, A., Scandurra, P.: Online model-based testing under uncertainty. In: 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE), pp. 36\u201346. IEEE (2018)","DOI":"10.1109\/ISSRE.2018.00015"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-642-04425-0_36","volume-title":"Model Driven Engineering Languages and Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., Sawyer, P., Bencomo, N., Whittle, J.: A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 468\u2013483. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04425-0_36"},{"issue":"9","key":"5_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10916-020-01623-5","volume":"44","author":"A Croatti","year":"2020","unstructured":"Croatti, A., Gabellini, M., Montagna, S., Ricci, A.: On the integration of agents and digital twins in healthcare. J. Med. Syst. 44(9), 1\u20138 (2020)","journal-title":"J. Med. Syst."},{"issue":"6","key":"5_CR10","doi-asserted-by":"publisher","first-page":"2307","DOI":"10.3390\/su12062307","volume":"12","author":"F Dembski","year":"2020","unstructured":"Dembski, F., W\u00f6ssner, U., Letzgus, M., Ruddat, M., Yamu, C.: Urban digital twins for smart cities and citizens: the case study of Herrenberg, Germany. Sustainability 12(6), 2307 (2020). https:\/\/doi.org\/10.3390\/su12062307","journal-title":"Sustainability"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Fonseca, \u00cd.A., Gaspar, H.M.: Challenges when creating a cohesive digital twin ship: a data modelling perspective. In: Ship Technology Research, pp. 1\u201314 (2020)","DOI":"10.1080\/09377255.2020.1815140"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Golomb, S.W.: Mathematical models: uses and limitations. IEEE Trans. Reliab. R-20(3), 130\u2013131 (1971)","DOI":"10.1109\/TR.1971.5216113"},{"issue":"1","key":"5_CR13","first-page":"472","volume":"7","author":"V Havard","year":"2019","unstructured":"Havard, V., Jeanne, B., Lacomblez, M., Baudry, D.: Digital twin and virtual reality: a co-simulation environment for design and assessment of industrial workstations. Prod. Manuf. Res. 7(1), 472\u2013489 (2019)","journal-title":"Prod. Manuf. Res."},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/j.compind.2016.05.006","volume":"82","author":"P Hehenberger","year":"2016","unstructured":"Hehenberger, P., Vogel-Heuser, B., Bradley, D., Eynard, B., Tomiyama, T., Achiche, S.: Design, modelling, simulation and integration of cyber physical systems: methods and applications. Comput. Ind. 82, 273\u2013289 (2016). https:\/\/doi.org\/10.1016\/j.compind.2016.05.006","journal-title":"Comput. Ind."},{"key":"5_CR15","doi-asserted-by":"publisher","unstructured":"Iglesias, A., Lu, H., Arellano, C., Yue, T., Ali, S., Sagardui, G.: Product line engineering of monitoring functionality in industrial cyber-physical systems: a domain analysis. In: Proceedings of the 21st International Systems and Software Product Line Conference - Volume A, SPLC 2017, pp. 195\u2013204. Association for Computing Machinery, New York (2017). https:\/\/doi.org\/10.1145\/3106195.3106223","DOI":"10.1145\/3106195.3106223"},{"key":"5_CR16","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirpj.2020.02.002","author":"D Jones","year":"2020","unstructured":"Jones, D., Snider, C., Nassehi, A., Yon, J., Hicks, B.: Characterising the digital twin: a systematic literature review. CIRP J. Manuf. Sci. Technol. (2020). https:\/\/doi.org\/10.1016\/j.cirpj.2020.02.002","journal-title":"CIRP J. Manuf. Sci. Technol."},{"key":"5_CR17","doi-asserted-by":"publisher","unstructured":"Josifovska, K., Yigitbas, E., Engels, G.: Reference framework for digital twins within cyber-physical systems. In: Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2019, pp. 25\u201331. IEEE Press (2019). https:\/\/doi.org\/10.1109\/SEsCPS.2019.00012","DOI":"10.1109\/SEsCPS.2019.00012"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"4837","DOI":"10.3390\/s150304837","volume":"15","author":"E Lee","year":"2015","unstructured":"Lee, E.: The past, present and future of cyber-physical systems: a focus on models. Sensors (Basel, Switzerland) 15, 4837\u20134869 (2015). https:\/\/doi.org\/10.3390\/s150304837","journal-title":"Sensors (Basel, Switzerland)"},{"issue":"2","key":"5_CR19","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s11219-018-9437-3","volume":"27","author":"T Ma","year":"2019","unstructured":"Ma, T., Ali, S., Yue, T., Elaasar, M.: Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach. Softw. Qual. J. 27(2), 615\u2013649 (2019)","journal-title":"Softw. Qual. J."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Moreno, G.A., C\u00e1mara, J., Garlan, D., Klein, M.: Uncertainty reduction in self-adaptive systems. In: Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, pp. 51\u201357 (2018)","DOI":"10.1145\/3194133.3194144"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1016\/j.promfg.2017.07.198","volume":"11","author":"E Negri","year":"2017","unstructured":"Negri, E., Fumagalli, L., Macchi, M.: A review of the roles of digital twin in CPS-based production systems. Procedia Manuf. 11, 939\u2013948 (2017). https:\/\/doi.org\/10.1016\/j.promfg.2017.07.198","journal-title":"Procedia Manuf."},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"21980","DOI":"10.1109\/ACCESS.2020.2970143","volume":"8","author":"A Rasheed","year":"2020","unstructured":"Rasheed, A., San, O., Kvamsdal, T.: Digital twin: values, challenges and enablers from a modeling perspective. IEEE Access 8, 21980\u201322012 (2020)","journal-title":"IEEE Access"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-46613-2_1","volume-title":"System Analysis and Modeling. Technology-Specific Aspects of Models","author":"SA Safdar","year":"2016","unstructured":"Safdar, S.A., Yue, T., Ali, S., Lu, H.: Evaluating variability modeling techniques for supporting cyber-physical system product line engineering. In: Grabowski, J., Herbold, S. (eds.) SAM 2016. LNCS, vol. 9959, pp. 1\u201319. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46613-2_1"},{"key":"5_CR24","doi-asserted-by":"publisher","unstructured":"Tao, F., Qi, Q., Wang, L., Nee, A.: Digital twins and cyber\u2013physical systems toward smart manufacturing and Industry 4.0: correlation and comparison. Engineering 5(4), 653\u2013661 (2019). https:\/\/doi.org\/10.1016\/j.eng.2019.01.014","DOI":"10.1016\/j.eng.2019.01.014"},{"issue":"4","key":"5_CR25","doi-asserted-by":"publisher","first-page":"2405","DOI":"10.1109\/TII.2018.2873186","volume":"15","author":"F Tao","year":"2018","unstructured":"Tao, F., Zhang, H., Liu, A., Nee, A.Y.: Digital twin in industry: state-of-the-art. IEEE Trans. Ind. Inform. 15(4), 2405\u20132415 (2018)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"5_CR26","unstructured":"Wagg, D.: Asset Management using the Digital Twin concept. https:\/\/www.thefuturefactory.com\/blog\/26. Accessed 4 Sept 2020"},{"key":"5_CR27","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-981-13-9406-5_48","volume-title":"Recent Trends in Intelligent Computing, Communication and Devices","author":"W Xiaodong","year":"2020","unstructured":"Xiaodong, W., Feng, L., Junhua, R., Rongyu, L.: A survey of digital twin technology for PHM. In: Jain, V., Patnaik, S., Popentiu Vl\u0103dicescu, F., Sethi, I.K. (eds.) Recent Trends in Intelligent Computing, Communication and Devices. AISC, vol. 1006, pp. 397\u2013403. Springer, Singapore (2020). https:\/\/doi.org\/10.1007\/978-981-13-9406-5_48"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jss.2019.03.011","volume":"153","author":"M Zhang","year":"2019","unstructured":"Zhang, M., Ali, S., Yue, T.: Uncertainty-wise test case generation and minimization for cyber-physical systems. J. Syst. Softw. 153, 1\u201321 (2019). https:\/\/doi.org\/10.1016\/j.jss.2019.03.011","journal-title":"J. Syst. Softw."},{"issue":"2","key":"5_CR29","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1007\/s10270-017-0609-6","volume":"18","author":"M Zhang","year":"2019","unstructured":"Zhang, M., Ali, S., Yue, T., Norgren, R., Okariz, O.: Uncertainty-wise cyber-physical system test modeling. Softw. Syst. Model. 18(2), 1379\u20131418 (2019). https:\/\/doi.org\/10.1007\/s10270-017-0609-6","journal-title":"Softw. Syst. Model."},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-42061-5_16","volume-title":"Modelling Foundations and Applications","author":"M Zhang","year":"2016","unstructured":"Zhang, M., Selic, B., Ali, S., Yue, T., Okariz, O., Norgren, R.: Understanding uncertainty in cyber-physical systems: a conceptual model. In: W\u0105sowski, A., L\u00f6nn, H. (eds.) ECMFA 2016. LNCS, vol. 9764, pp. 247\u2013264. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42061-5_16"},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1016\/j.jss.2018.06.075","volume":"144","author":"M Zhang","year":"2018","unstructured":"Zhang, M., et al.: Specifying uncertainty in use case models. J. Syst. Softw. 144, 573\u2013603 (2018)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-83723-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,4]],"date-time":"2021-08-04T06:03:39Z","timestamp":1628057019000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-83723-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030837228","9783030837235"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-83723-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"5 August 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}