{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T16:49:17Z","timestamp":1743266957596,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"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_1","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T08:03:09Z","timestamp":1666166589000},"page":"3-8","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Engineering of Digital Twins for Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"John","family":"Fitzgerald","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Gorm Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cl\u00e1udio","family":"Gomes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Bogomolov, S., Fitzgerald, J., Soudjani, S., Stankaitis, P.: Data-driven reachability analysis of digital twin FMI models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 139\u2013158. Springer, Switzerland (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8","DOI":"10.1007\/978-3-031-19762-8"},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"Buhagiar, A.J., Freitas, L., Scott III, W.E., Larsen, P.G.: Digital twins for organ preservation devices. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 22\u201336. Springer, Switzerland (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8","DOI":"10.1007\/978-3-031-19762-8"},{"key":"1_CR3","doi-asserted-by":"publisher","unstructured":"Dai, X., Zhao, S., Lesage, B., Bate, I.: Using digital twins in the development of complex dependable real-time embedded systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 37\u201353. Springer, Switzerland (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8","DOI":"10.1007\/978-3-031-19762-8"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Eisenberg, M., Lehner, D., Sindelar, R., Wimmer, M.: Towards reactive planning with digital twins and model-driven optimization. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 54\u201370. Springer, Switzerland (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8","DOI":"10.1007\/978-3-031-19762-8"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Feng, H., Gomes, C., Thule, C., Lausdahl, K., Sandberg, M., Larsen, P.G.: The incubator case study for digital twin engineering. Tech. rep., Aarhus University (2021). https:\/\/arxiv.org\/abs\/2102.10390","DOI":"10.23919\/ANNSIM52504.2021.9552135"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-030-83723-5_4","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends","author":"J Fitzgerald","year":"2021","unstructured":"Fitzgerald, J., Larsen, P.G., Margaria, T., Woodcock, J.: Engineering of digital twins for cyber-physical systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12479, pp. 49\u201353. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-83723-5_4"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.cirpj.2020.02.002","volume":"29","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. 29, 36\u201352 (2020)","journal-title":"CIRP J. Manuf. Sci. Technol."},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Kamburjan, E., Klungre, V.N., Schlatte, R., Tarifa, S.L.T., Cameron, D., Johnsen, E.B.: Digital twin reconfiguration using asset models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 71\u201388. Springer, Switzerland (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8","DOI":"10.1007\/978-3-031-19762-8"},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Kulik, T., Gomes, C., Macedo, H.D., Hallerstede, S., Larsen, P.G.: Towards secure digital twins. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 159\u2013176. Springer, Switzerland (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8","DOI":"10.1007\/978-3-031-19762-8"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Liu, L., Leki\u0107, A., Popov, M.: Robust adaptive back-stepping control approach using quadratic Iyapunov functions for MMC-based HVDC digital twins. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 126\u2013138. Springer, Switzerland (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8","DOI":"10.1007\/978-3-031-19762-8"},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"Wang, T., Skulstad, R., Kanazawa, M., Hatledal, L.I., Li, G., Zhang, H.: Adaptive data-driven predictor of ship maneuvering motion under varying ocean environments. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 110\u2013125. Springer, Switzerland (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8","DOI":"10.1007\/978-3-031-19762-8"},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"Wright, T., Gomes, C., Woodcock, J.: Formally verified self-adaptation of an incubator digital twin. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 110\u2013125. Springer, Switzerland (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8","DOI":"10.1007\/978-3-031-19762-8"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Yue, T., Ali, S., Arcaini, P., Ishikawa, F.: Towards requirements engineering for digital twins of cyber-physical systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 9\u201321. Springer, Switzerland (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8","DOI":"10.1007\/978-3-031-19762-8"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T23:12:47Z","timestamp":1666221167000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19762-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197611","9783031197628"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19762-8_1","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"}}]}}