{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T14:12:55Z","timestamp":1785334375988,"version":"3.55.0"},"publisher-location":"Cham","reference-count":70,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031975363","type":"print"},{"value":"9783031975370","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-97537-0_4","type":"book-chapter","created":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T22:53:13Z","timestamp":1759272793000},"page":"54-75","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Using Ontologies in\u00a0the\u00a0Engineering of\u00a0Intelligent Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-7936-6969","authenticated-orcid":false,"given":"Ingo","family":"Stierand","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1065-4182","authenticated-orcid":false,"given":"Lukas","family":"Westhofen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8259-6084","authenticated-orcid":false,"given":"Willem","family":"Hagemann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"key":"4_CR1","unstructured":"App4mc. https:\/\/www.eclipse.org\/app4mc"},{"key":"4_CR2","unstructured":"Asam openxontology user guide 1.0.0. Tech. rep., Hoehenkirchen, Germany (2022). https:\/\/www.asam.net\/standards\/asam-openxontology\/"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Alvarez-Coello, D., Wilms, D., Bekan, A., G\u00f3mez, J.: Generic semantization of vehicle data streams (2021). https:\/\/doi.org\/10.1109\/ICSC50631.2021.00028","DOI":"10.1109\/ICSC50631.2021.00028"},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Armand, A., Filliat, D., Ibanez-Guzman, J.: Ontology-based context awareness for driving assistance systems, pp. 227\u2013233 (2014). https:\/\/doi.org\/10.1109\/IVS.2014.6856509","DOI":"10.1109\/IVS.2014.6856509"},{"key":"4_CR5","unstructured":"Baader, F.: Ontology-based monitoring of dynamic systems. In: Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning (2014)"},{"key":"4_CR6","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, P., Nardi, D., et\u00a0al.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge university press (2003)"},{"key":"4_CR7","unstructured":"Baader, F., K\u00fcster, R., Wolter, F.: Extensions to description logics. In: Baader, F., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 226\u2013268. Cambridge university press (2003)"},{"key":"4_CR8","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: Baader, F., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 45\u2013100. Cambridge university press (2003)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Bachmair, L., Ganzinger, H., Waldmann, U.: Set constraints are the monadic class. In: Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, pp. 75\u201383. IEEE (1993)","DOI":"10.1109\/LICS.1993.287598"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Bagschik, G., Menzel, T., Maurer, M.: Ontology based scene creation for the development of automated vehicles. In: IEEE Intelligent Vehicles Symposium (IV), pp. 1813\u20131820 (2018). https:\/\/doi.org\/10.1109\/IVS.2018.8500632","DOI":"10.1109\/IVS.2018.8500632"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Bebawy, Y., et al.: Incremental contract-based verification of software updates for safety-critical cyber-physical systems. In: The 2020 International Conference on Computational Science and Computational Intelligence (CSCI) (2020)","DOI":"10.1109\/CSCI51800.2020.00318"},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Benveniste, A., et al.: Contracts for system design. Foundations and Trends in Electronic Design Automation, p.\u00a0296 (2018). https:\/\/doi.org\/10.1561\/1000000053","DOI":"10.1561\/1000000053"},{"key":"4_CR13","unstructured":"Bhuiyan, H., Governatori, G., Rakotonirainy, A., Wong, M.W., Mahajan, A.: Traffic rule formalization for autonomous vehicle. In: Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022) in association with the 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022), pp. 22\u201335 (2022)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Butz, M., et al: SOCA: domain analysis for highly automated driving systems. In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), pp.\u00a01\u20136. IEEE (2020)","DOI":"10.1109\/ITSC45102.2020.9294438"},{"key":"4_CR15","unstructured":"Calvanese, D., De\u00a0Giacomo, G.: Expressive description logics. In: Baader, F., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 184\u2013225. Cambridge university press (2003)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Cellucci, C.: The decidability of syllogism. In: Search of a New Humanism: The Philosophy of Georg Henrik von Wright, pp. 171\u2013174 (1999)","DOI":"10.1007\/978-94-017-1852-3_19"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Colmerauer, A., Roussel, P.: The Birth of Prolog, pp. 331\u2013367. Association for Computing Machinery, New York, NY, USA (1996). https:\/\/doi.org\/10.1145\/234286.1057820","DOI":"10.1145\/234286.1057820"},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"Colomb, R., et al.: The object management group ontology definition metamodel. In: Calero, C., Ruiz, F., Piattini, M. (eds.) Ontologies for software engineering and software technology, pp. 217\u2013247. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-34518-3_8","DOI":"10.1007\/3-540-34518-3_8"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Czarnecki, K.: Operational world model ontology for automated driving systems - Part 1: road structure. Tech. rep. (2018). https:\/\/doi.org\/10.13140\/RG.2.2.15521.30568, issue: July","DOI":"10.13140\/RG.2.2.15521.30568"},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"Czarnecki, K.: Operational world model ontology for automated driving systems - Part 2: road users, animals, other obstacles, and environmental conditions. Tech. rep. (2018). https:\/\/doi.org\/10.13140\/RG.2.2.11327.00165, issue: July","DOI":"10.13140\/RG.2.2.11327.00165"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Daun, M., Brings, J., Obe, P., Wolf, S., B\u00f6hm, B., Unverdorben, S.: Using view-based architecture descriptions to aid in automated runtime planning for a smart factory, pp. 202\u2013209 (2019). https:\/\/doi.org\/10.1109\/ICSA-C.2019.00043","DOI":"10.1109\/ICSA-C.2019.00043"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"De\u00a0Gelder, E., et al.: Towards an ontology for scenario definition for the assessment of automated vehicles: an object-oriented framework. IEEE Trans. Intell. Veh. 7, 300\u2013314 (2022)","DOI":"10.1109\/TIV.2022.3144803"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Ehmen, G., Gr\u00fcttner, K., Koopmann, B., Poppen, F., Reinkemeier, P., Stierand, I.: Coherent treatment of time in the development of adas\/ad systems: Design approach and demonstration. In: WCX World Congress Experience (2018), sAE Technical Paper 2018-01-0592 (2018)","DOI":"10.4271\/2018-01-0592"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Erz, J., Sch\u00fctt, B., Braun, T., Guissouma, H., Sax, E.: Towards an ontology that reconciles the operational design domain, scenario-based testing, and automated vehicle architectures. In: 2022 IEEE International Systems Conference (SysCon), pp.\u00a01\u20138. IEEE (2022)","DOI":"10.1109\/SysCon53536.2022.9773840"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Graubohm, R., Stolte, T., Bagschik, G., Steimle, M., Maurer, M.: Functional safety concept generation within the process of preliminary design of automated driving functions at the example of an unmanned protective vehicle. In: Proceedings of the Design Society: International Conference on Engineering Design, vol.\u00a01, pp. 2863\u20132872. Cambridge University Press (2019)","DOI":"10.1017\/dsi.2019.293"},{"key":"4_CR26","doi-asserted-by":"publisher","unstructured":"Gruber, T.R.: A translation approach to portable ontology specifications. Knowl. Acquisition 5(2), 199 \u2013 220 (1993). https:\/\/doi.org\/10.1006\/knac.1993.1008, http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1042814383710083","DOI":"10.1006\/knac.1993.1008"},{"key":"4_CR27","doi-asserted-by":"publisher","unstructured":"Grundt, D., K\u00f6hne, A., Saxena, I., Stemmer, R., Westphal, B., M\u00f6hlmann, E.: Towards runtime monitoring of complex system requirements for autonomous driving functions. Electron. Proc. Theor. Comput. Sci. 371, 53\u201361 (2022). https:\/\/doi.org\/10.4204\/EPTCS.371.4","DOI":"10.4204\/EPTCS.371.4"},{"key":"4_CR28","doi-asserted-by":"publisher","unstructured":"Hulsen, M., Z\u00f6llner, J., Weiss, C.: Traffic intersection situation description ontology for advanced driver assistance, pp. 993 \u2013 999 (07 2011). https:\/\/doi.org\/10.1109\/IVS.2011.5940415","DOI":"10.1109\/IVS.2011.5940415"},{"key":"4_CR29","unstructured":"International Organization for Standardization: ISO 26262: Road vehicles \u2013 Functional safety. Standard (2018)"},{"key":"4_CR30","unstructured":"International Organization for Standardization: ISO 21448: Road vehicles \u2013 Safety of the intended functionality. Standard (2022)"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Irvine, P., Zhang, X., Khastgir, S., Schwalb, E., Jennings, P.: A two-level abstraction odd definition language: Part i. In: 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 2614\u20132621. IEEE (2021)","DOI":"10.1109\/SMC52423.2021.9658751"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"66","DOI":"10.7250\/csimq.2015-4.05","volume":"4","author":"B Kaiser","year":"2015","unstructured":"Kaiser, B., Weber, R., Oertel, M., B\u00f6de, E., Nejad, B.M., Zander, J.: Contract-based design of embedded systems integrating nominal behavior and safety. Complex Systems Inf. Modeling Q. 4, 66\u201391 (2015)","journal-title":"Complex Systems Inf. Modeling Q."},{"key":"4_CR33","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation \u2013 A safety argument notation. In: Proceedings of the of Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)"},{"key":"4_CR34","doi-asserted-by":"publisher","unstructured":"Klueck, F., Li, Y., Nica, M., Tao, J., Wotawa, F.: Using ontologies for test suites generation for automated and autonomous driving functions. In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 118\u2013123 (2018). https:\/\/doi.org\/10.1109\/ISSREW.2018.00-20","DOI":"10.1109\/ISSREW.2018.00-20"},{"key":"4_CR35","unstructured":"Koopman, P.: How Safe is Safe Enough?: Measuring and Predicting Autonomous Vehicle Safety. 3rd edn"},{"key":"4_CR36","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-030-58920-2_11","volume-title":"Model-Based Safety and Assessment","author":"B Kramer","year":"2020","unstructured":"Kramer, B., Neurohr, C., B\u00fcker, M., B\u00f6de, E., Fr\u00e4nzle, M., Damm, W.: Identification and quantification of hazardous scenarios for automated driving. In: Zeller, M., H\u00f6fig, K. (eds.) Model-Based Safety and Assessment, pp. 163\u2013178. Springer International Publishing, Cham (2020)"},{"key":"4_CR37","doi-asserted-by":"publisher","unstructured":"Li, T., et al.: STSL: a novel spatio-temporal specification language for cyber-physical systems. In: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS), pp. 309\u2013319 (2020). https:\/\/doi.org\/10.1109\/QRS51102.2020.00048","DOI":"10.1109\/QRS51102.2020.00048"},{"key":"4_CR38","unstructured":"MBAT Consortium: Specification of model-based test case generation & execution methods and tools, deliverable d_wp2.3_2 (2012)"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Menzel, T., Bagschik, G., Maurer, M.: Scenarios for development, test and validation of automated vehicles. In: 2018 IEEE Intelligent Vehicles Symposium (IV), pp. 1821\u20131827. IEEE (2018)","DOI":"10.1109\/IVS.2018.8500406"},{"key":"4_CR40","series-title":"Studies in Universal Logic","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-319-15368-1_21","volume-title":"The Road to Universal Logic","author":"T Mossakowski","year":"2015","unstructured":"Mossakowski, T., Codescu, M., Neuhaus, F., Kutz, O.: The distributed ontology, modeling and specification language \u2013 DOL. In: Koslow, A., Buchsbaum, A. (eds.) The Road to Universal Logic. SUL, pp. 489\u2013520. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15368-1_21"},{"key":"4_CR41","unstructured":"Nardi, D., Brachman, R.J., et\u00a0al.: An introduction to description logics. In: Baader, F., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 5\u201344. Cambridge university press (2003)"},{"key":"4_CR42","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-23820-3_2","volume-title":"Runtime Verification","author":"L Nenzi","year":"2015","unstructured":"Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.: Qualitative and quantitative monitoring of spatio-temporal properties. In: Bartocci, E., Majumdar, R. (eds.) Runtime Verification, pp. 21\u201337. Springer International Publishing, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_2"},{"key":"4_CR43","doi-asserted-by":"publisher","unstructured":"Neukirchner, M., Lampka, K., Quinton, S., Ernst, R.: Multi-mode monitoring for mixed-criticality real-time systems. In: 2013 International Conference on Hardware\/Software CodeSign and System Synthesis (CODES+ISSS), pp. 1\u201310 (2013). https:\/\/doi.org\/10.1109\/CODES-ISSS.2013.6659021","DOI":"10.1109\/CODES-ISSS.2013.6659021"},{"key":"4_CR44","doi-asserted-by":"publisher","first-page":"18016","DOI":"10.1109\/ACCESS.2021.3053159","volume":"9","author":"C Neurohr","year":"2021","unstructured":"Neurohr, C., Westhofen, L., Butz, M., Bollmann, M.H., Eberle, U., Galbas, R.: Criticality analysis for the verification and validation of automated vehicles. IEEE Access 9, 18016\u201318041 (2021)","journal-title":"IEEE Access"},{"key":"4_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-319-95246-8_22","volume-title":"Principles of Modeling","author":"P Nuzzo","year":"2018","unstructured":"Nuzzo, P., Sangiovanni-Vincentelli, A.L.: Hierarchical system design with vertical contracts. In: Lohstroh, M., Derler, P., Sirjani, M. (eds.) Principles of Modeling. LNCS, vol. 10760, pp. 360\u2013382. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-95246-8_22"},{"key":"4_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/ACCESS.2013.2295764","volume":"2","author":"P Nuzzo","year":"2013","unstructured":"Nuzzo, P., et al.: A contract-based methodology for aircraft electric power system design. IEEE Access 2, 1\u201325 (2013)","journal-title":"IEEE Access"},{"key":"4_CR47","doi-asserted-by":"crossref","unstructured":"Ollier, G., Razafindrabe, D., Adedjouma, M., Gerasimou, S., Mraidha, C.: Using operational design domain in hazard identification for automated systems. In: 2022 18th European Dependable Computing Conference (EDCC), pp. 109\u2013112. IEEE (2022)","DOI":"10.1109\/EDCC57035.2022.00027"},{"key":"4_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.comcom.2012.09.006","volume":"36","author":"KJ Park","year":"2012","unstructured":"Park, K.J., Zheng, R.L., Liu, X.: Cyber-physical systems: milestones and research challenges. Comput. Commun. 36, 1\u20137 (2012)","journal-title":"Comput. Commun."},{"key":"4_CR49","doi-asserted-by":"crossref","unstructured":"Putze, L., Westhofen, L., Koopmann, T., B\u00f6de, E., Neurohr, C.: On quantification for SOTIF validation of automated driving systems. In: Proceedings of the 2023 IEEE Intelligent Vehicles Symposium (IV). IEEE (2023)","DOI":"10.1109\/IV55152.2023.10186795"},{"key":"4_CR50","doi-asserted-by":"publisher","unstructured":"Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12(1), 23\u201341 (1965). https:\/\/doi.org\/10.1145\/321250.321253","DOI":"10.1145\/321250.321253"},{"key":"4_CR51","unstructured":"Salem, N.F., et al.: Ein beitrag zur durchg\u00e4ngigen, formalen verhaltensspezifikation automatisierter stra\u00dfenfahrzeuge. arXiv preprint arXiv:2209.07204 (2022)"},{"key":"4_CR52","unstructured":"Sattler, U., Calvanese, D., Molitor, R.: Relationships with other formalisms. In: Baader, F., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 142\u2013183. Cambridge university press (2003)"},{"key":"4_CR53","doi-asserted-by":"publisher","unstructured":"Schneider, D., Trapp, M.: Conditional safety certification of open adaptive systems. ACM Trans. Auton. Adapt. Syst. 8(2) (2013). https:\/\/doi.org\/10.1145\/2491465.2491467","DOI":"10.1145\/2491465.2491467"},{"key":"4_CR54","doi-asserted-by":"publisher","first-page":"59131","DOI":"10.1109\/ACCESS.2021.3072739","volume":"9","author":"M Scholtes","year":"2021","unstructured":"Scholtes, M., et al.: 6-layer model for a structured description and categorization of urban traffic and environment. IEEE Access 9, 59131\u201359147 (2021)","journal-title":"IEEE Access"},{"key":"4_CR55","doi-asserted-by":"crossref","unstructured":"Schwalb, E., Irvine, P., Zhang, X., Khastgir, S., Jennings, P.: A two-level abstraction odd definition language: Part II. In: 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 1669\u20131676. IEEE (2021)","DOI":"10.1109\/SMC52423.2021.9658812"},{"key":"4_CR56","unstructured":"Scott, J.: Business capability MPAS: the missing link between business strategy and it action 5"},{"key":"4_CR57","unstructured":"Stearns, M.Q., Price, C., Spackman, K.A., Wang, A.Y.: Snomed clinical terms: overview of the development process and project status. In: Proceedings. AMIA Symposium, pp. 662\u2013666 (2001). https:\/\/pubmed.ncbi.nlm.nih.gov\/11825268"},{"key":"4_CR58","doi-asserted-by":"crossref","unstructured":"Stolte, T., Bagschik, G., Reschka, A., Maurer, M.: Hazard analysis and risk assessment for an automated unmanned protective vehicle. In: 2017 IEEE Intelligent Vehicles Symposium (IV), pp. 1848\u20131855. IEEE (2017)","DOI":"10.1109\/IVS.2017.7995974"},{"key":"4_CR59","unstructured":"The Assurance Case Working Group (ACWG): Goal Structuring Notation Community Standard Version 2"},{"key":"4_CR60","unstructured":"Underwriter Laboratories: ANSI\/UL 4600 - Standard for Evaluation of Autonomous Products. Standard (2022)"},{"key":"4_CR61","unstructured":"UNECE, Geneva, Switzerland: UN Regulation No. 157: Uniform provisions concerning the approval of vehicles with regard to ALKS. UN Regulation (2022)"},{"issue":"17","key":"4_CR62","doi-asserted-by":"publisher","first-page":"7782","DOI":"10.3390\/app11177782","volume":"11","author":"I Urbieta","year":"2021","unstructured":"Urbieta, I., Nieto, M., Garc\u00eda, M., Otaegui, O.: Design and implementation of an ontology for semantic labeling and testing: automotive global ontology (ago). Appl. Sci. 11(17), 7782 (2021)","journal-title":"Appl. Sci."},{"key":"4_CR63","doi-asserted-by":"publisher","unstructured":"von Rosing, M., Laurier, W.: An introduction to the business ontology. Int. J. Concept. Struct. Smart Appl. 3(1), 20\u201341 (2015). https:\/\/doi.org\/10.4018\/IJCSSA.2015010102","DOI":"10.4018\/IJCSSA.2015010102"},{"key":"4_CR64","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-030-62136-0_6","volume-title":"Model-Based Engineering of Collaborative Embedded Systems","author":"JC Wehrstedt","year":"2021","unstructured":"Wehrstedt, J.C., Brings, J., Caesar, B., Daun, M., Feeken, L., Hildebrandt, C., Klein, W., Malik, V., Wirtz, B., Wolf, S.: Modeling and analyzing context-sensitive changes during runtime. In: Model-Based Engineering of Collaborative Embedded Systems, pp. 125\u2013146. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-62136-0_6"},{"key":"4_CR65","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1109\/OJITS.2022.3187247","volume":"3","author":"L Westhofen","year":"2022","unstructured":"Westhofen, L., Neurohr, C., Butz, M., Scholtes, M., Schuldes, M.: Using ontologies for the formalization and recognition of criticality for automated driving. IEEE Open J. Intell. Transport. Syst. 3, 519\u2013538 (2022)","journal-title":"IEEE Open J. Intell. Transport. Syst."},{"key":"4_CR66","doi-asserted-by":"publisher","unstructured":"Westhofen, L., et al.: Criticality metrics for automated driving: a review and suitability analysis of the state of the art. Arch. Comput. Methods Eng. 30 (2022). https:\/\/doi.org\/10.1007\/s11831-022-09788-7","DOI":"10.1007\/s11831-022-09788-7"},{"key":"4_CR67","unstructured":"Westhofen, L., Stierand, I., Becker, J.S., M\u00f6hlmann, E., Hagemann, W.: Towards a congruent interpretation of traffic rules for automated driving-experiences and challenges. In: Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022) in association with the 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022), pp. 8\u201321 (2022)"},{"key":"4_CR68","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.compind.2019.05.003","volume":"111","author":"L Yang","year":"2019","unstructured":"Yang, L., Cormican, K., Yu, M.: Ontology-based systems engineering: a state-of-the-art review. Comput. Ind. 111, 148\u2013171 (2019)","journal-title":"Comput. Ind."},{"key":"4_CR69","doi-asserted-by":"crossref","unstructured":"Zhang, X., Khastgir, S., Jennings, P.: Scenario description language for automated driving systems: a two level abstraction approach. In: 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 973\u2013980. IEEE (2020)","DOI":"10.1109\/SMC42975.2020.9283417"},{"key":"4_CR70","doi-asserted-by":"publisher","unstructured":"Zhao, L., Ichise, R., Liu, Z., Mita, S., Sasaki, Y.: Ontology-based driving decision making: a feasibility study at uncontrolled intersections. IEICE Trans. Inf. Syst. E100.D, 1425\u20131439 (2017). https:\/\/doi.org\/10.1587\/transinf.2016EDP7337","DOI":"10.1587\/transinf.2016EDP7337"}],"container-title":["Lecture Notes in Computer Science","Engineering Safe and Trustworthy Cyber Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97537-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T13:48:19Z","timestamp":1785332899000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97537-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783031975363","9783031975370"],"references-count":70,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97537-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}