{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T09:51:27Z","timestamp":1773827487231,"version":"3.50.1"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T00:00:00Z","timestamp":1585612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T00:00:00Z","timestamp":1585612800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s10009-020-00562-3","type":"journal-article","created":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T15:38:22Z","timestamp":1585669102000},"page":"249-255","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS\/ETCS Level 3"],"prefix":"10.1007","volume":"22","author":[{"given":"Michael","family":"Butler","sequence":"first","affiliation":[]},{"given":"Thai Son","family":"Hoang","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Raschke","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Reichl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,31]]},"reference":[{"key":"562_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The ABZ-2018 case study with Event-B. Softw. Tools Technol. Transf. (2020). In this issue","DOI":"10.1007\/s10009-019-00525-3"},{"key":"562_CR2","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Kofron, J., Jezek, P.: Validation of the Hybrid ERTMS\/ETCS Level 3 using SPIN. Softw. Tools Technol. Transf. (2020). In this issue","DOI":"10.1007\/s10009-019-00539-x"},{"key":"562_CR3","unstructured":"Bartholomeus, M., Luttik, B., Willemse, T., Hansen, D., Leuschel, M., Hendriks, P.: The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3. IRSE News, 260, Nov (2019)"},{"key":"562_CR4","doi-asserted-by":"crossref","unstructured":"Butler, M.J., Raschke, A., Hoang, T.S., Reichl, K. (eds.): Abstract state machines, alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, 5\u20138 June 2018, Proceedings. vol. 10817 of Lecture Notes in Computer Science. Springer (2018)","DOI":"10.1007\/978-3-319-91271-4"},{"key":"562_CR5","doi-asserted-by":"crossref","unstructured":"Cunha, A., Macedo, N.: Validating the Hybrid ERTMS\/ETCS Level 3 concept with Electrum. Softw. Tools Technol. Transf. (2020). In this issue","DOI":"10.1007\/s10009-019-00540-4"},{"key":"562_CR6","doi-asserted-by":"crossref","unstructured":"Dghaym, D., Dalvandi, M., Poppleton, M., Snook, C.: Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B. Softw. Tools Technol. Transf. (2020). In this issue","DOI":"10.1007\/s10009-019-00548-w"},{"key":"562_CR7","unstructured":"EEIG ERTMS Users Group, Brussels, Belgium. Hybrid ERTMS\/ETCS Level 3: Principles, July 2017. Ref. 16E042 Version 1A"},{"key":"562_CR8","unstructured":"EEIG ERTMS Users Group, Brussels, Belgium. Hybrid ERTMS\/ETCS Level 3: Principles, July 2018. Ref. 16E042 Version 1C, http:\/\/irse.info\/kb5q6"},{"key":"562_CR9","unstructured":"ERA, UNISIG, EEIG ERTMS Users Group. Glossary of Terms and Abbreviations: ERTMS\/ETCS, 3.3.0 edition, May 2016. http:\/\/www.era.europa.eu\/Document-Register\/Documents\/SUBSET-023%20v330.pdf"},{"key":"562_CR10","unstructured":"Fotso, S.J.T., Frappier, M., Laleau, R., Mammar, A.: Modeling the hybrid ERTMS\/ETCS level 3 standard using a formal requirements engineering approach. Softw. Tools Technol. Transf. (2020). In this issue"},{"key":"562_CR11","unstructured":"Furness, N., van Houten, H., Arenas, L., Bartholomeus, M.: ERTMS Level 3: the game-changer. IRSE News, 232, April (2017)"},{"key":"562_CR12","doi-asserted-by":"crossref","unstructured":"Hansen, D., Leuschel, M., K\u00f6rner, P., Krings, S., Naulin, T., Nayeri, N., Schneider, D., Skowron, F.: Validation and real-life demonstration of ETCS Hybrid Level 3 Principles using a formal B Model. Softw. Tools Technol. Transf. (2020). In this issue","DOI":"10.1007\/s10009-020-00551-6"},{"key":"562_CR13","doi-asserted-by":"crossref","unstructured":"Mammar, A., Frappier, M., Fotso, S.J.T., Laleau, R.: A formal refinement-based analysis of the hybrid ERTMS\/ETCS level 3 standard. Softw. Tools Technol. Transf. (2020). In this issue","DOI":"10.1007\/s10009-019-00543-1"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00562-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-020-00562-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00562-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,30]],"date-time":"2021-03-30T23:49:16Z","timestamp":1617148156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-020-00562-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,31]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["562"],"URL":"https:\/\/doi.org\/10.1007\/s10009-020-00562-3","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,31]]},"assertion":[{"value":"31 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}