{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T19:41:26Z","timestamp":1779392486164,"version":"3.53.1"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T00:00:00Z","timestamp":1715817600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T00:00:00Z","timestamp":1715817600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100008977","name":"Universit\u00e4t Ulm","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100008977","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2024,6]]},"DOI":"10.1007\/s10009-024-00753-2","type":"journal-article","created":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T13:01:56Z","timestamp":1715864516000},"page":"327-330","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An automotive case study"],"prefix":"10.1007","volume":"26","author":[{"given":"Alexander","family":"Raschke","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,5,16]]},"reference":[{"key":"753_CR1","unstructured":"Arcaini, P., Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. This issue"},{"key":"753_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-07512-9_1","volume-title":"ABZ 2014: The Landing Gear Case Study","author":"F. Boniol","year":"2014","unstructured":"Boniol, F., Wiels, V.: The landing gear system case study. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.D. (eds.) ABZ 2014: The Landing Gear Case Study, pp.\u00a01\u201318. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07512-9_1"},{"issue":"3","key":"753_CR3","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10009-020-00562-3","volume":"22","author":"M. Butler","year":"2020","unstructured":"Butler, M., Raschke, A., Hoang, T.S., Reichl, K.: Introduction to special section on the ABZ 2018 case study: hybrid ERTMS\/ETCS level 3. Int. J. Softw. Tools Technol. Transf. 22(3), 249\u2013255 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00562-3","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"753_CR4","unstructured":"Cunha, A., Macedo, N., Liu, C.: Validating multiple variants of an automotive light system with electrum. This issue"},{"key":"753_CR5","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-030-48077-6_24","volume-title":"Rigorous State-Based Methods","author":"F. Houdek","year":"2020","unstructured":"Houdek, F., Raschke, A.: Adaptive exterior light and speed control system. In: Raschke, A., M\u00e9ry, D., Houdek, F. (eds.) Rigorous State-Based Methods, pp.\u00a0281\u2013301. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-48077-6_24"},{"key":"753_CR6","unstructured":"Krings, S., K\u00f6rner, P., Dunkelau, J., Rutenkolk, C.: A verified low-level implementation of the adaptive exterior light and speed control system. This issue"},{"key":"753_CR7","unstructured":"Mammar, A., Frappier, M.: Modeling of a speed control system using event-B. This issue"},{"key":"753_CR8","unstructured":"Mammar, A., Frappier, M., Laleau, R.: An event-B model of an automotive adaptive exterior light system. This issue"},{"key":"753_CR9","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-319-33600-8_29","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"A. Mashkoor","year":"2016","unstructured":"Mashkoor, A.: The hemodialysis machine case study. In: Butler, M., Schewe, K.D., Mashkoor, A., Biro, M. (eds.) Abstract State Machines, Alloy, B, TLA, VDM, and Z, pp.\u00a0329\u2013343. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_29"},{"key":"753_CR10","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-48077-6","volume-title":"Rigorous State-Based Methods","year":"2020","unstructured":"Raschke, A., M\u00e9ry, D., Houdek, F. (eds.): Rigorous State-Based Methods. Lecture Notes in Computer Science (LNCS), vol.\u00a012071. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-48077-6"}],"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-024-00753-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-024-00753-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-024-00753-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,18]],"date-time":"2024-06-18T10:10:19Z","timestamp":1718705419000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-024-00753-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,16]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["753"],"URL":"https:\/\/doi.org\/10.1007\/s10009-024-00753-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,16]]},"assertion":[{"value":"13 May 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 May 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}