{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:42:10Z","timestamp":1777635730483,"version":"3.51.4"},"publisher-location":"Cham","reference-count":3,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319912707","type":"print"},{"value":"9783319912714","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91271-4_17","type":"book-chapter","created":{"date-parts":[[2018,5,7]],"date-time":"2018-05-07T10:32:55Z","timestamp":1525689175000},"page":"251-261","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["The Hybrid ERTMS\/ETCS Level 3 Case Study"],"prefix":"10.1007","author":[{"given":"Thai Son","family":"Hoang","sequence":"first","affiliation":[]},{"given":"Michael","family":"Butler","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Reichl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,8]]},"reference":[{"key":"17_CR1","unstructured":"EEIG ERTMS Users Group, Brussels, Belgium. Hybrid ERTMS\/ETCS Level 3: Principles, July 2017. Ref. 16E042 Version 1A"},{"key":"17_CR2","unstructured":"ERA, UNISIG, EEIG ERTMS Users Group. Glossary of Terms and Abbreviations: ERTMS\/ETCS, 3.3.0 edition, May 2016. \nhttp:\/\/www.era.europa.eu\/Document-Register\/Documents\/SUBSET-023%20v330.pdf"},{"key":"17_CR3","unstructured":"Furness, N., van Houten, H., Arenas, L., Bartholomeus, M.: ERTMS level 3: the game-changer. IRSE News View 232, April 2017"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91271-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,7]],"date-time":"2018-05-07T10:40:35Z","timestamp":1525689635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91271-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319912707","9783319912714"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91271-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}