{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:49:50Z","timestamp":1761677390995,"version":"build-2065373602"},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"5","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:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T00:00:00Z","timestamp":1760659200000},"content-version":"vor","delay-in-days":16,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e.V. (DLR)"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2025,10]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>In the automotive domain, scenario-based development is the answer to the increasing complexity of highly automated driving functions. Scenario-based methods cluster the large scenario space by so-called abstract scenarios which can be used to sample an infinite number of concrete scenarios. Because abstract scenarios constrain driving maneuvers by excessive use of additional constraints, constraint solving techniques may be required to find concrete scenario instances. In order to guarantee correctness of simulation runs with respect to the abstract scenario, realistic vehicle dynamics need to be considered during the instantiation process. This work proposes an encoding scheme for abstract scenarios into linear constraint systems for the generation of correct-by-construction concrete scenarios. It covers both temporal and spatial aspects of the abstract scenario, as well as simple, but realistic vehicle dynamics. The applicability of the method is shown by demonstrating it on a set of basic driving maneuvers. This paper extends the previous version by presenting further experimental results and giving an overview over practical applications.<\/jats:p>","DOI":"10.1007\/s10009-025-00827-9","type":"journal-article","created":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:44:58Z","timestamp":1760708698000},"page":"465-485","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Correct-by-construction instantiation of abstract scenarios"],"prefix":"10.1007","volume":"27","author":[{"given":"Jan Steffen","family":"Becker","sequence":"first","affiliation":[]},{"given":"Christian","family":"Neurohr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,17]]},"reference":[{"key":"827_CR1","doi-asserted-by":"publisher","DOI":"10.1155\/2023\/1349269","author":"S. Babisch","year":"2023","unstructured":"Babisch, S., Neurohr, C., Westhofen, L., Schoenawa, S., Liers, H.: Leveraging the GIDAS database for the criticality analysis of automated driving systems. J. Adv. Transp. (2023). https:\/\/doi.org\/10.1155\/2023\/1349269","journal-title":"J. Adv. Transp."},{"key":"827_CR2","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1109\/IVS.2016.7535534","volume-title":"2016 IEEE Intelligent Vehicles Symposium (IV)","author":"J. Bach","year":"2016","unstructured":"Bach, J., Otten, S., Sax, E.: Model based scenario specification for development and test of automated driving functions. In: 2016 IEEE Intelligent Vehicles Symposium (IV), pp.\u00a01149\u20131155 (2016). https:\/\/doi.org\/10.1109\/IVS.2016.7535534"},{"key":"827_CR3","volume-title":"Software Engineering (Workshops)","author":"J.S. Becker","year":"2020","unstructured":"Becker, J.S.: Partial consistency for requirement engineering with traffic sequence charts. In: Software Engineering (Workshops), vol.\u00a054 (2020)"},{"key":"827_CR4","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-68150-9_1","volume-title":"Formal Methods for Industrial Critical Systems","author":"J.S. Becker","year":"2024","unstructured":"Becker, J.S.: Safe linear encoding of vehicle dynamics for the instantiation of abstract scenarios. In: Formal Methods for Industrial Critical Systems. LNCS, vol.\u00a014952. Springer, Berlin (2024)"},{"key":"827_CR5","doi-asserted-by":"publisher","unstructured":"Becker, J., Koopmann, T., Neurohr, B., Neurohr, C., Westhofen, L., Wirtz, B., B\u00f6de, E., Damm, W.: Simulation of Abstract Scenarios: Towards Automated Tooling in Criticality Analysis, pp.\u00a042\u201351 (2022). https:\/\/doi.org\/10.5281\/zenodo.5907154","DOI":"10.5281\/zenodo.5907154"},{"key":"827_CR6","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-030-17601-3_4","volume-title":"Programming Z3","author":"N. Bj\u00f8rner","year":"2019","unstructured":"Bj\u00f8rner, N., de Moura, L., Nachmanson, L., Wintersteiger, C.M.: Programming Z3, pp.\u00a0148\u2013201. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17601-3_4"},{"key":"827_CR7","first-page":"139","volume-title":"Computer Safety, Reliability, and Security","author":"E. B\u00f6de","year":"2018","unstructured":"B\u00f6de, E., B\u00fcker, M., Eberle, U., Fr\u00e4nzle, M., Gerwinn, S., Kramer, B.: Efficient splitting of test and simulation cases for the verification of highly automated driving functions. In: Gallina, B., Skavhaug, A., Bitsch, F. (eds.) Computer Safety, Reliability, and Security, pp.\u00a0139\u2013153. Springer, Cham (2018)"},{"key":"827_CR8","doi-asserted-by":"publisher","unstructured":"B\u00f6de, E., B\u00fcker, M., Damm, W., Fr\u00e4nzle, M., Kramer, B., Neurohr, C., Vander Maelen, S.: Identifikation und Quantifizierung von Automationsrisiken f\u00fcr hochautomatisierte Fahrfunktionen. Tech. Rep., Insitute for Information Technology (OFFIS) e.V. (2019) https:\/\/doi.org\/10.5281\/zenodo.14141022","DOI":"10.5281\/zenodo.14141022"},{"key":"827_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2024.103256","volume":"242","author":"P. Borchers","year":"2025","unstructured":"Borchers, P., Koopmann, T., Westhofen, L., Becker, J.S., Putze, L., Grundt, D., de Graaff, T., Kalwa, V., Neurohr, C.: TSC2CARLA: an abstract scenario-based verification toolchain for automated driving systems. Sci. Comput. Program. 242, 103256 (2025). https:\/\/doi.org\/10.1016\/j.scico.2024.103256","journal-title":"Sci. Comput. Program."},{"key":"827_CR10","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1145\/3459104.3459208","volume-title":"2021 International Symposium on Electrical, Electronics and Information Engineering","author":"T. Brade","year":"2021","unstructured":"Brade, T., Kramer, B., Neurohr, C.: Paradigms in scenario-based testing for automated driving. In: 2021 International Symposium on Electrical, Electronics and Information Engineering, pp.\u00a0108\u2013114 (2021). https:\/\/doi.org\/10.1145\/3459104.3459208"},{"key":"827_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/ITSC45102.2020.9294438","volume-title":"2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)","author":"M. Butz","year":"2020","unstructured":"Butz, M., Heinzemann, C., Herrmann, M., Oehlerking, J., Rittel, M., Schalm, N., Ziegenbein, D.: SOCA: domain analysis for highly automated driving systems. In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), pp.\u00a01\u20136 (2020). https:\/\/doi.org\/10.1109\/ITSC45102.2020.9294438"},{"key":"827_CR12","first-page":"158","volume-title":"Advances in Electrical and Electronics Engineering-IAENG Special Edition of the World Congress on Engineering and Computer Science 2008","author":"J.W. Choi","year":"2008","unstructured":"Choi, J.W., Curry, R., Elkaim, G.: Path planning based on B\u00e9zier curve for autonomous ground vehicles. In: Advances in Electrical and Electronics Engineering-IAENG Special Edition of the World Congress on Engineering and Computer Science 2008, pp.\u00a0158\u2013166. IEEE (2008)"},{"key":"827_CR13","volume-title":"ERTS 2018, 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)","author":"W. Damm","year":"2018","unstructured":"Damm, W., Kemper, S., M\u00f6hlmann, E., Peikenkamp, T., Rakow, A.: Using traffic sequence charts for the development of HAVs. In: ERTS 2018, 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Toulouse, France (2018)"},{"key":"827_CR14","volume-title":"Embedded Real Time Software and Systems","author":"W. Damm","year":"2018","unstructured":"Damm, W., Kemper, S., M\u00f6hlmann, E., Peikenkamp, T., Rakow, A.: Traffic sequence charts: a visual language for capturing traffic scenarios. In: Embedded Real Time Software and Systems, vol.\u00a0ERTS2018 (2018)"},{"key":"827_CR15","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-319-95246-8_11","volume-title":"A Formal Semantics for Traffic Sequence Charts","author":"W. Damm","year":"2018","unstructured":"Damm, W., M\u00f6hlmann, E., Peikenkamp, T., Rakow, A.: A Formal Semantics for Traffic Sequence Charts pp.\u00a0182\u2013205. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-95246-8_11"},{"key":"827_CR16","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008. Proceedings","author":"L. de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008. Proceedings, pp.\u00a0337\u2013340. Springer, Berlin (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"827_CR17","volume-title":"Third International Workshop on Satisfiability Checking and Symbolic Computation, Part of FLOC 2018","author":"A. Eggers","year":"2018","unstructured":"Eggers, A., Stasch, M., Teige, T., Bienm\u00fcller, T., Brockmeyer, U.: Constraint systems from traffic scenarios for the validation of autonomous driving. In: Third International Workshop on Satisfiability Checking and Symbolic Computation, Part of FLOC 2018 (2018)"},{"key":"827_CR18","unstructured":"Foretellix Ltd.: Measurable Scenario Description Language Reference Tech. Rep., Foretellix Ltd. (2020) https:\/\/www.foretellix.com\/wp-content\/uploads\/2020\/07\/M-SDL_LRM_OS.pdf. Accessed on 2024-04-19"},{"key":"827_CR19","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","volume-title":"International Workshop on Hybrid Systems: Computation and Control","author":"G. Frehse","year":"2005","unstructured":"Frehse, G.: PHAVer: algorithmic verification of hybrid systems past HyTech. In: International Workshop on Hybrid Systems: Computation and Control, pp.\u00a0258\u2013273. Springer, Berlin (2005)"},{"key":"827_CR20","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"International Conference on Computer Aided Verification","author":"G. Frehse","year":"2011","unstructured":"Frehse, G., Le Guernic, C., Donz\u00e9, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: scalable verification of hybrid systems. In: International Conference on Computer Aided Verification, pp.\u00a0379\u2013395. Springer, Berlin (2011)"},{"issue":"10","key":"827_CR21","doi-asserted-by":"publisher","first-page":"3805","DOI":"10.1007\/s10994-021-06120-5","volume":"112","author":"D.J. Fremont","year":"2023","unstructured":"Fremont, D.J., Kim, E., Dreossi, T., Ghosh, S., Yue, X., Sangiovanni-Vincentelli, A.L., Seshia, S.A.: Scenic: a language for scenario specification and data generation. Mach. Learn. 112(10), 3805\u20133849 (2023). https:\/\/doi.org\/10.1007\/s10994-021-06120-5","journal-title":"Mach. Learn."},{"key":"827_CR22","doi-asserted-by":"crossref","unstructured":"Goyal, S., Griggio, A., Kimblad, J., Tonetta, S.: Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems (2023). arXiv preprint arXiv:2311.09784","DOI":"10.4204\/EPTCS.395.8"},{"key":"827_CR23","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2209.14032","volume-title":"Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS)","author":"D. Grundt","year":"2022","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. In: Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) (2022). https:\/\/doi.org\/10.48550\/arXiv.2209.14032"},{"key":"827_CR24","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/IVS.2010.5548085","volume-title":"2010 IEEE Intelligent Vehicles Symposium","author":"L. Han","year":"2010","unstructured":"Han, L., Yashiro, H., Nejad, H.T.N., Do, Q.H., Mita, S.: Bezier curve based path planning for autonomous vehicle in urban environment. In: 2010 IEEE Intelligent Vehicles Symposium, pp.\u00a01036\u20131042. IEEE (2010)"},{"key":"827_CR25","volume-title":"9. Tagung Automatisiertes Fahren","author":"L. Hartjen","year":"2019","unstructured":"Hartjen, L., Philipp, R., Schuldt, F., Friedrich, B., Howar, F.: Classification of driving maneuvers in urban traffic for parametrization of test scenarios. In: 9. Tagung Automatisiertes Fahren (2019)"},{"key":"827_CR26","unstructured":"International Organization for Standardization: ISO 21448: Road vehicles \u2013 Safety of the intended functionality (2022)"},{"key":"827_CR27","unstructured":"ISO\u00a026262: Road vehicles \u2013 functional safety (2018)"},{"key":"827_CR28","doi-asserted-by":"publisher","first-page":"2065","DOI":"10.1109\/IV47402.2020.9304617","volume-title":"2020 IEEE Intelligent Vehicles Symposium (IV)","author":"M. Klischat","year":"2020","unstructured":"Klischat, M., Althoff, M.: Synthesizing traffic scenarios from formal specifications for testing automated vehicles. In: 2020 IEEE Intelligent Vehicles Symposium (IV), pp.\u00a02065\u20132072. IEEE (2020)"},{"key":"827_CR29","doi-asserted-by":"publisher","unstructured":"Kong, J., Pfeiffer, M., Schildbach, G., Borrelli, F.: Kinematic and dynamic vehicle models for autonomous driving control design pp.\u00a01094\u20131099 (2015). https:\/\/doi.org\/10.1109\/IVS.2015.7225830","DOI":"10.1109\/IVS.2015.7225830"},{"key":"827_CR30","doi-asserted-by":"publisher","first-page":"54739","DOI":"10.1109\/ACCESS.2025.3555177","volume":"13","author":"T. Koopmann","year":"2025","unstructured":"Koopmann, T., Putze, L., Westhofen, L., Gansch, R., Adee, A., Neurohr, C.: Grasping causality for the explanation of criticality for automated driving. IEEE Access 13, 54739\u201354756 (2025). https:\/\/doi.org\/10.1109\/ACCESS.2025.3555177","journal-title":"IEEE Access"},{"key":"827_CR31","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.\u00a0163\u2013178. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58920-2_11"},{"issue":"12","key":"827_CR32","doi-asserted-by":"publisher","DOI":"10.3390\/machines9120342","volume":"9","author":"J. Ma","year":"2021","unstructured":"Ma, J., Che, X., Li, Y., Lai, E.M.K.: Traffic scenarios for automated vehicle testing: a review of description languages and systems. Machines 9(12), 342 (2021)","journal-title":"Machines"},{"key":"827_CR33","doi-asserted-by":"publisher","first-page":"1821","DOI":"10.1109\/IVS.2018.8500406","volume-title":"2018 IEEE Intelligent Vehicles Symposium (IV)","author":"T. Menzel","year":"2018","unstructured":"Menzel, T., Bagschik, G., Maurer, M.: Scenarios for development, test and validation of automated vehicles. In: 2018 IEEE Intelligent Vehicles Symposium (IV), pp.\u00a01821\u20131827. IEEE (2018). https:\/\/doi.org\/10.1109\/IVS.2018.8500406"},{"key":"827_CR34","doi-asserted-by":"publisher","first-page":"2383","DOI":"10.1109\/IVS.2019.8814099","volume-title":"2019 IEEE Intelligent Vehicles Symposium (IV)","author":"T. Menzel","year":"2019","unstructured":"Menzel, T., Bagschik, G., Isensee, L., Schomburg, A., Maurer, M.: From functional to logical scenarios: detailing a keyword-based scenario description for execution in a simulation environment. In: 2019 IEEE Intelligent Vehicles Symposium (IV), pp.\u00a02383\u20132390 (2019). https:\/\/doi.org\/10.1109\/IVS.2019.8814099"},{"key":"827_CR35","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/IV47402.2020.9304823","volume-title":"2020 IEEE Intelligent Vehicles Symposium (IV)","author":"C. Neurohr","year":"2020","unstructured":"Neurohr, C., Westhofen, L., Henning, T., de Graaff, T., Mohlmann, E., Bode, E.: Fundamental considerations around scenario-based testing for automated driving. In: 2020 IEEE Intelligent Vehicles Symposium (IV), pp.\u00a0121\u2013127. IEEE (2020). https:\/\/doi.org\/10.1109\/IV47402.2020.9304823"},{"key":"827_CR36","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). https:\/\/doi.org\/10.1109\/ACCESS.2021.3053159","journal-title":"IEEE Access"},{"key":"827_CR37","doi-asserted-by":"publisher","unstructured":"Neurohr, C., Westhofen, L., Butz, M., Bollmann, M.H., Putze, L., Koopmann, T., Gansch, R., Knoop, M., Rasch, A., Cojocaru, B., Daube, J.: Advances on the Criticality Analysis for Automated Driving Systems (2024). https:\/\/doi.org\/10.5281\/zenodo.10815308","DOI":"10.5281\/zenodo.10815308"},{"key":"827_CR38","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.10815530","volume-title":"Requirements on Simulation Systems and Models Posed by a Criticality Analysis for Automated Driving Systems","author":"C. Neurohr","year":"2024","unstructured":"Neurohr, C., Westhofen, L., Duong Quang, T., Koopmann, T., Gansch, R., Schoenawa, S.: Requirements on Simulation Systems and Models Posed by a Criticality Analysis for Automated Driving Systems (2024). https:\/\/doi.org\/10.5281\/zenodo.10815530"},{"key":"827_CR39","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/ARES.2015.14","volume-title":"2015 10th International Conference on Availability, Reliability and Security","author":"Q.S. Phan","year":"2015","unstructured":"Phan, Q.S., Malacaria, P.: All-solution satisfiability modulo theories: applications, algorithms and benchmarks. In: 2015 10th International Conference on Availability, Reliability and Security, pp.\u00a0100\u2013109 (2015). https:\/\/doi.org\/10.1109\/ARES.2015.14"},{"key":"827_CR40","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-540-73368-3_48","volume-title":"International Conference on Computer Aided Verification","author":"E. Plaku","year":"2007","unstructured":"Plaku, E., Kavraki, L.E., Vardi, M.Y.: Hybrid systems: from verification to falsification. In: International Conference on Computer Aided Verification, pp.\u00a0463\u2013476. Springer, Berlin (2007)"},{"issue":"4","key":"827_CR41","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10009-012-0233-2","volume":"15","author":"E. Plaku","year":"2013","unstructured":"Plaku, E., Kavraki, L.E., Vardi, M.Y.: Falsification of LTL safety properties in hybrid systems. Int. J. Softw. Tools Technol. Transf. 15(4), 305\u2013320 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"827_CR42","volume-title":"B\u00e9zier and B-Spline Techniques","author":"H. Prautzsch","year":"2013","unstructured":"Prautzsch, H., Boehm, W., Paluszny, M.: B\u00e9zier and B-Spline Techniques. Springer, Berlin (2013)"},{"key":"827_CR43","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1109\/ITSC.2016.7795651","volume-title":"2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC)","author":"X. Qian","year":"2016","unstructured":"Qian, X., Navarro, I., de La Fortelle, A., Moutarde, F.: Motion planning for urban autonomous driving using B\u00e9zier curves and MPC. In: 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), pp.\u00a0826\u2013833. IEEE (2016)"},{"key":"827_CR44","unstructured":"Rauschert, A., Amid, G.: ASAM OpenSCENARIO DSL 2.1.0: Release presentation (2024). Presentation https:\/\/www.asam.net\/standards\/detail\/openscenario-dsl\/. Accessed on 2024-05-08"},{"key":"827_CR45","unstructured":"Rauschert, A., Amid, G.: ASAM OpenSCENARIO XML 1.3.0: Release presentation (2024). Presentation https:\/\/www.asam.net\/standards\/detail\/openscenario-xml\/. Accessed on 2024-05-08"},{"key":"827_CR46","first-page":"207","volume-title":"14. Workshop Fahrerassistenzsysteme und Automatisiertes Fahren. Uni-DAS e.V","author":"F. Reisgys","year":"2022","unstructured":"Reisgys, F., Plaum, J., Schwarzhaupt, A., Sax, E.: Scenario-based X-in-the-loop test for development of driving automation. In: 14. Workshop Fahrerassistenzsysteme und Automatisiertes Fahren. Uni-DAS e.V, pp.\u00a0207\u2013216 (2022)"},{"key":"827_CR47","unstructured":"SAE International: J3016: Taxonomy and Definitions for Terms Related to Driving Automation Systems for on-Road Motor Vehicles (2021)"},{"key":"827_CR48","first-page":"2","volume-title":"Proceedings of the 4th SC-Square Workshop","author":"K. Scheibler","year":"2019","unstructured":"Scheibler, K., Eggers, A., Teige, T., Walz, M., Bienm\u00fcller, T., Brockmeyer, U.: Solving constraint systems from traffic scenarios for the validation of autonomous driving. In: Proceedings of the 4th SC-Square Workshop, pp.\u00a02\u201312 (2019)"},{"key":"827_CR49","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-540-36045-2_10","volume-title":"Vehicle Dynamics","author":"D. Schramm","year":"2014","unstructured":"Schramm, D., Hiller, M., Bardini, R.: Single track models. In: Vehicle Dynamics, pp.\u00a0223\u2013253. Springer, Berlin (2014)"},{"key":"827_CR50","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-319-61607-0_7","volume-title":"A Method for an Efficient, Systematic Test Case Generation for Advanced Driver Assistance Systems in Virtual Environments","author":"F. Schuldt","year":"2018","unstructured":"Schuldt, F., Reschka, A., Maurer, M.: A Method for an Efficient, Systematic Test Case Generation for Advanced Driver Assistance Systems in Virtual Environments pp.\u00a0147\u2013175. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-61607-0_7"},{"key":"827_CR51","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.tcs.2018.05.028","volume":"744","author":"M. Schwammberger","year":"2018","unstructured":"Schwammberger, M.: An abstract model for proving safety of autonomous urban traffic. Theor. Comput. Sci. 744, 143\u2013169 (2018)","journal-title":"Theor. Comput. Sci."},{"key":"827_CR52","doi-asserted-by":"publisher","first-page":"982","DOI":"10.1109\/ITSC.2015.164","volume-title":"2015 IEEE 18th International Conference on Intelligent Transportation Systems","author":"S. Ulbrich","year":"2015","unstructured":"Ulbrich, S., Menzel, T., Reschka, A., Schuldt, F., Maurer, M.: Defining and substantiating the terms scene, situation, and scenario for automated driving. In: 2015 IEEE 18th International Conference on Intelligent Transportation Systems, pp.\u00a0982\u2013988. IEEE (2015)"},{"key":"827_CR53","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-662-48847-8_21","volume-title":"The Release of Autonomous Vehicles","author":"W. Wachenfeld","year":"2016","unstructured":"Wachenfeld, W., Winner, H.: The Release of Autonomous Vehicles pp.\u00a0425\u2013449. Springer, Berlin (2016). https:\/\/doi.org\/10.1007\/978-3-662-48847-8_21"},{"key":"827_CR54","doi-asserted-by":"publisher","unstructured":"Weissensteiner, P., Stettinger, G.: Explainable Safety Argumentation for the Deployment of Automated Vehicles. Electronics 13(23) (2024). https:\/\/doi.org\/10.3390\/electronics13234606","DOI":"10.3390\/electronics13234606"},{"key":"827_CR55","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. Transp. Syst. 3, 519\u2013538 (2022). https:\/\/doi.org\/10.1109\/OJITS.2022.3187247","journal-title":"IEEE Open J. Intell. Transp. Syst."},{"issue":"1","key":"827_CR56","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11831-022-09788-7","volume":"30","author":"L. Westhofen","year":"2023","unstructured":"Westhofen, L., Neurohr, C., Koopmann, T., Butz, M., Sch\u00fctt, B., Utesch, F., Neurohr, B., Gutenkunst, C., B\u00f6de, E.: Criticality metrics for automated driving: a review and suitability analysis of the state of the art. Arch. Comput. Methods Eng. 30(1), 1\u201335 (2023)","journal-title":"Arch. Comput. Methods Eng."},{"key":"827_CR57","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1109\/SMC42975.2020.9283417","volume-title":"2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","author":"X. Zhang","year":"2020","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.\u00a0973\u2013980. IEEE (2020)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-025-00827-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-025-00827-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-025-00827-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T15:39:51Z","timestamp":1761665991000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-025-00827-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10]]},"references-count":57,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,10]]}},"alternative-id":["827"],"URL":"https:\/\/doi.org\/10.1007\/s10009-025-00827-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2025,10]]},"assertion":[{"value":"7 October 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 October 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}