{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:08:56Z","timestamp":1759334936106,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031975363"},{"type":"electronic","value":"9783031975370"}],"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_1","type":"book-chapter","created":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T22:53:31Z","timestamp":1759272811000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["BTC Embedded Systems \u2013 Bringing Formal Methods from\u00a0Norddeutschland to\u00a0the\u00a0World"],"prefix":"10.1007","author":[{"given":"Tom","family":"Bienm\u00fcller","sequence":"first","affiliation":[]},{"given":"Matthias","family":"B\u00fcker","sequence":"additional","affiliation":[]},{"given":"Udo","family":"Brockmeyer","sequence":"additional","affiliation":[]},{"given":"J\u00fcrgen","family":"Bohn","sequence":"additional","affiliation":[]},{"given":"Hans J.","family":"Holberg","sequence":"additional","affiliation":[]},{"given":"Tobe","family":"Toben","sequence":"additional","affiliation":[]},{"given":"Hartmut","family":"Wittke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Bienm\u00fcller, T., Damm, W., Wittke, H.: The STATEMATE verification environment - making it real. In: 12th International Conference on Computer Aided Verification LNCS, vol. 1855, pp. 561\u2013567. Springer (2000)","DOI":"10.1007\/10722167_45"},{"key":"1_CR2","unstructured":"ISO: road vehicles \u2013 functional safety (2018)"},{"key":"1_CR3","unstructured":"ISO: road vehicles \u2013 safety of the intended functionality (2022)"},{"key":"1_CR4","unstructured":"Mentel, L., Scheibler, K., Winterer, F., Becker, B., Teige, T.: Benchmarking SMT solvers on automotive code. In: MBMV (2021)"},{"key":"1_CR5","unstructured":"Moore, G.: Crossing the chasm: marketing and selling disruptive products to mainstream customers. Collins Business Essentials, HarperCollins (2002). https:\/\/books.google.de\/books?id=yJXHUDSaJgsC"},{"key":"1_CR6","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: SC$$^2$$ (2019)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Scheibler, K., et al.: Accurate ICP-based floating-point reasoning. In: Formal Methods in Computer-Aided Design (FMCAD) (2016)","DOI":"10.1109\/FMCAD.2016.7886677"},{"issue":"5","key":"1_CR8","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1007\/s00165-017-0419-1","volume":"29","author":"P Schrammel","year":"2017","unstructured":"Schrammel, P., Kroening, D., Brain, M., Martins, R., Teige, T., Bienm\u00fcller, T.: Incremental bounded model checking for embedded software. Formal Aspects Comput. 29(5), 911\u2013931 (2017). https:\/\/doi.org\/10.1007\/s00165-017-0419-1","journal-title":"Formal Aspects Comput."},{"key":"1_CR9","unstructured":"Teige, T.: The power of focus: how to optimize a model checker for embedded software (2020). https:\/\/www.btc-es.de\/en\/blog\/the-power-of-focus-how-to-optimize-a-model-checker-for-embedded-software.html"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Teige, T., et al.: Two decades of formal methods in industrial products at btc embedded systems. In: Huisman, M., P\u0103s\u0103reanu, C., Zhan, N. (eds.) FM 2021. LNCS, vol. 13047, pp. 725\u2013729. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-90870-6_40","DOI":"10.1007\/978-3-030-90870-6_40"},{"key":"1_CR11","unstructured":"Teige, T., Meincke, W., Brockmeyer, U.: Applying automated formal CCC checks for complex systems development. In: Embedded World Conference (2021)"},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"Westhofen, L., Berger, P., Katoen, J.-P.: Benchmarking Software Model Checkers on Automotive Code. In: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 133\u2013150. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55754-6_8","DOI":"10.1007\/978-3-030-55754-6_8"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T22:53:33Z","timestamp":1759272813000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97537-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783031975363","9783031975370"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97537-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"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"}}]}}