{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:19:24Z","timestamp":1760080764847,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031197611"},{"type":"electronic","value":"9783031197628"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-19762-8_2","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T08:03:09Z","timestamp":1666166589000},"page":"9-21","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards Requirements Engineering for\u00a0Digital Twins of\u00a0Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3262-5577","authenticated-orcid":false,"given":"Tao","family":"Yue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9979-3519","authenticated-orcid":false,"given":"Shaukat","family":"Ali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6253-4062","authenticated-orcid":false,"given":"Paolo","family":"Arcaini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7725-2618","authenticated-orcid":false,"given":"Fuyuki","family":"Ishikawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","unstructured":"Alami, D., Dalpiaz, F.: A gamified tutorial for learning about security requirements engineering. In: 2017 IEEE 25th International Requirements Engineering Conference (RE), pp. 418\u2013423 (2017). https:\/\/doi.org\/10.1109\/RE.2017.67","DOI":"10.1109\/RE.2017.67"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"2509","DOI":"10.1007\/s10664-019-09693-x","volume":"24","author":"C Arora","year":"2019","unstructured":"Arora, C., Sabetzadeh, M., Briand, L.C.: An empirical study on the potential usefulness of domain models for completeness checking of requirements. Empirical Softw. Engg. 24(4), 2509\u20132539 (2019). https:\/\/doi.org\/10.1007\/s10664-019-09693-x","journal-title":"Empirical Softw. Engg."},{"key":"2_CR3","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"},{"key":"2_CR4","unstructured":"Costello, K., Omale, G.: Gartner survey reveals digital twins are entering mainstream use. https:\/\/www.gartner.com\/en\/newsroom\/press-releases\/2019-02-20-gartner-survey-reveals-digital-twins-are-entering-mai (2019). Accessed 21 Sept 22"},{"key":"2_CR5","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-030-01614-2_19","volume-title":"Product Lifecycle Management to Support Industry 4.0","author":"LFCS Dur\u00e3o","year":"2018","unstructured":"Dur\u00e3o, L.F.C.S., Haag, S., Anderl, R., Sch\u00fctzer, K., Zancul, E.: Digital twin requirements in the context of industry 4.0. In: Chiabert, P., Bouras, A., No\u00ebl, F., R\u00edos, J. (eds.) PLM 2018. IAICT, vol. 540, pp. 204\u2013214. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01614-2_19"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-030-25312-7_14","volume-title":"Security and Quality in Cyber-Physical Systems Engineering","author":"M Eckhart","year":"2019","unstructured":"Eckhart, M., Ekelhart, A.: Digital twins for cyber-physical systems security: state of the art and outlook. In: Security and Quality in Cyber-Physical Systems Engineering, pp. 383\u2013412. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25312-7_14"},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1109\/MMUL.2018.023121167","volume":"25","author":"A El-Saddik","year":"2018","unstructured":"El-Saddik, A.: Digital twins: The convergence of multimedia technologies. IEEE Multimedia 25(2), 87\u201392 (2018). https:\/\/doi.org\/10.1109\/MMUL.2018.023121167","journal-title":"IEEE Multimedia"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-030-30985-5_4","volume-title":"From Software Engineering to Formal Methods and Tools, and Back","author":"J Fitzgerald","year":"2019","unstructured":"Fitzgerald, J., Larsen, P.G., Pierce, K.: Multi-modelling and co-simulation in the engineering of cyber-physical systems: towards the digital twin. In: ter Beek, M.H., Fantechi, A., Semini, L. (eds.) From Software Engineering to Formal Methods and Tools, and Back. LNCS, vol. 11865, pp. 40\u201355. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30985-5_4"},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.3390\/systems7010007","volume":"7","author":"AM Madni","year":"2019","unstructured":"Madni, A.M., Madni, C.C., Lucero, S.D.: Leveraging digital twin technology in model-based systems engineering. Systems 7(1), 7 (2019). https:\/\/doi.org\/10.3390\/systems7010007","journal-title":"Systems"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-75563-0_6","volume-title":"Conceptual Modeling - ER 2007","author":"J-N Maz\u00f3n","year":"2007","unstructured":"Maz\u00f3n, J.-N., Trujillo, J.: A model driven modernization approach for automatically deriving multidimensional models in data warehouses. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 56\u201371. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75563-0_6"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Palacio, D.N., McCrystal, D., Moran, K., Bernal-C\u00e1rdenas, C., Poshyvanyk, D., Shenefiel, C.: Learning to identify security-related issues using convolutional neural networks. In: 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 140\u2013144. IEEE (2019)","DOI":"10.1109\/ICSME.2019.00024"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-319-54045-0_24","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"B Rosadini","year":"2017","unstructured":"Rosadini, B., et al.: Using NLP to detect requirements defects: an industrial experience in the railway domain. In: Gr\u00fcnbacher, P., Perini, A. (eds.) REFSQ 2017. LNCS, vol. 10153, pp. 344\u2013360. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-54045-0_24"},{"key":"2_CR13","unstructured":"Ryan, K.: The r\u00f6le of AI in requirements engineering. Position paper for the dagstuhl seminar on system requirements: analysis, management and exploitation (1994)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Sadjina, S., et al.: Seismic RTDT: real-time digital twin for boosting performance of seismic operations. In: ASME 2019 38th International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers Digital Collection (2019)","DOI":"10.1115\/OMAE2019-95885"},{"issue":"1","key":"2_CR15","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.cirp.2019.04.024","volume":"68","author":"R Stark","year":"2019","unstructured":"Stark, R., Fresemann, C., Lindow, K.: Development and operation of digital twins for technical systems and services. CIRP Ann. 68(1), 129\u2013132 (2019). https:\/\/doi.org\/10.1016\/j.cirp.2019.04.024","journal-title":"CIRP Ann."},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"Vogelsang, A., Borg, M.: Requirements engineering for machine learning: perspectives from data scientists. In: 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW), pp. 245\u2013251 (2019). https:\/\/doi.org\/10.1109\/REW.2019.00050","DOI":"10.1109\/REW.2019.00050"},{"key":"2_CR17","doi-asserted-by":"publisher","unstructured":"Xu, Q., Ali, S., Yue, T.: Digital twin-based anomaly detection in cyber-physical systems. In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), pp. 205\u2013216 (2021). https:\/\/doi.org\/10.1109\/ICST49551.2021.00031","DOI":"10.1109\/ICST49551.2021.00031"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-030-83723-5_5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends","author":"T Yue","year":"2021","unstructured":"Yue, T., Arcaini, P., Ali, S.: Understanding digital twins for cyber-physical systems: a conceptual model. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12479, pp. 54\u201371. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-83723-5_5"},{"key":"2_CR19","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). https:\/\/doi.org\/10.1016\/j.jss.2018.06.075","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19762-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T23:12:41Z","timestamp":1666221161000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19762-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197611","9783031197628"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19762-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","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":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}