{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T00:59:01Z","timestamp":1770339541723,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642308840","type":"print"},{"value":"9783642308857","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30885-7_34","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T04:50:45Z","timestamp":1340772645000},"page":"369-372","source":"Crossref","is-referenced-by-count":14,"title":["Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project"],"prefix":"10.1007","author":[{"given":"Denis","family":"Sabatier","sequence":"first","affiliation":[]},{"given":"Lilian","family":"Burdy","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Requet","sequence":"additional","affiliation":[]},{"given":"J\u00e9r\u00f4me","family":"Gu\u00e9ry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"34_CR2","unstructured":"Atelier B website, \n                    \n                      http:\/\/www.atelierb.eu\/"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: The B-Book. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"issue":"4-6","key":"34_CR4","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1080\/00423111003721291","volume":"19","author":"M. Malvezzi","year":"2011","unstructured":"Malvezzi, M., Allotta, B., Rinchi, M., Bruzzo, M., de Bernardi, P.: Odometric estimation for automatic train protection and control systems. Vehicle System Dynamics\u00a019(4-6), 723\u2013739 (2011)","journal-title":"Vehicle System Dynamics"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30885-7_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:33:17Z","timestamp":1620113597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30885-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308840","9783642308857"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30885-7_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}