{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:41:18Z","timestamp":1743133278489,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030891589"},{"type":"electronic","value":"9783030891596"}],"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-89159-6_5","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"71-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Methods for a Digital Industry"],"prefix":"10.1007","author":[{"given":"Falk","family":"Howar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hardi","family":"Hungar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Rausch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Altendeitering, M.: Mining data quality rules for data migrations: a case study on material master data. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 178\u2013191. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-89159-6_12"},{"key":"5_CR2","unstructured":"Marc, A.: Why software is eating the world. In: The Wall Street Journal (2011\/08\/20) (2011)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Hessen\u00e4mper, A., Howar, F., Rausch, A.: Digital transformation trends: Industry 4.0, automation, and AI - industrial track at ISoLA 2018. In: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5\u20139, 2018, Proceedings, Part IV, pp. 469\u2013471 (2018)","DOI":"10.1007\/978-3-030-03427-6_34"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/978-3-319-47169-3_50","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"F Howar","year":"2016","unstructured":"Howar, F., Meinke, K., Rausch, A.: Learning systems: machine-learning in software products and learning-based analysis of software systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 651\u2013654. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_50"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Hardi, H.: Use cases for simulation in the development of automated driving systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 117\u2013128. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-89159-6_8"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Jobish, J., Amrita, G., Tiziana, M., Dirk, P.: Dsls and middleware platforms in a model driven development approach for secure predictive maintenance systems in smart factories. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 146\u2013161. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-89159-6_10"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, ISoLA 2016. LNCS, vol. 9953. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3","DOI":"10.1007\/978-3-319-47169-3"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Malte, M., Moritz, R.: From requirements to executable rules: an ensemble of domain-specific languages for programming cyber-physical systems in warehouse logistics. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 162\u2013177. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-89159-6_11"},{"key":"5_CR9","unstructured":"Boris, O., et al.: Data Ecosystems: Conceptual Foundations, Constituents and Recommendations for Action (2019). http:\/\/publica.fraunhofer.de\/documents\/N-572093.html. Accessed September 2021"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Robin, P., Hedan, Q., Lukas, H., Fabian, S., Falk, H.: Simulation-based elicitation of accuracy requirements for the environmental perception of autonomous vehicles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 129\u2013145. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-89159-6_9"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Barbara, S., Falk, H., Tim, T., Bernhard, S.: Agile business engineering: from transformation towards continuous innovation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 77\u201394. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-89159-6_6"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Barbara, S., Stephen, R., Frederik, M., Alex, R., Tiziana, M.: Towards living canvases. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 95\u2013116. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-89159-6_7"},{"key":"5_CR13","unstructured":"The German Federal Government. Strategie K\u00fcnstliche Intelligenz der Bundesregierung (2018). https:\/\/www.bmwi.de\/Redaktion\/DE\/Publikationen\/Technologie\/strategie-kuenstliche-intelligenz-der-bundesregierung.html. Accessed September 2021"},{"key":"5_CR14","unstructured":"The German Federal Government. Strategie K\u00fcnstliche Intelligenz der Bundesregierung - Fortschreibung (2020). https:\/\/www.bmwi.de\/Redaktion\/DE\/Publikationen\/Technologie\/strategie-kuenstliche-intelligenz-fortschreibung-2020.html. Accessed September 2021"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89159-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,24]],"date-time":"2022-03-24T21:09:23Z","timestamp":1648156163000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_5"}},"subtitle":["Industrial Day at ISoLA 2021"],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 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":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}