{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T18:35:00Z","timestamp":1764873300050,"version":"3.40.4"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319050317"},{"type":"electronic","value":"9783319050324"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-05032-4_17","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:26Z","timestamp":1394184986000},"page":"221-236","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO"],"prefix":"10.1007","author":[{"given":"Robert","family":"Abo","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Voisin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"key":"17_CR1","volume-title":"Safeware - System Safety and Computers: A Guide to Preventing Accidents and Losses Caused by Technology","author":"NG Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware - System Safety and Computers: A Guide to Preventing Accidents and Losses Caused by Technology. Addison-Wesley, Reading (1995)"},{"key":"17_CR2","unstructured":"International Electrotechnical Commission (IEC): Functional safety of electrical\/electronic\/programmable electronic safety-related systems (IEC 61508)"},{"key":"17_CR3","unstructured":"European Committee for Electrotechnical Standardization (CENELEC): Railway applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (EN 50126)"},{"key":"17_CR4","unstructured":"European Committee for Electrotechnical Standardization (CENELEC): Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems (EN 50128)"},{"key":"17_CR5","unstructured":"European Committee for Electrotechnical Standardization (CENELEC): Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signalling (EN 50129)"},{"key":"17_CR6","unstructured":"European Committee for Electrotechnical Standardization (CENELEC): Railway applications - Communication, signalling and processing systems - Safety-related communication in transmission systems (EN 50159)"},{"key":"17_CR7","unstructured":"Institute of Electrical and Electronics Engineers (IEEE): IEEE Standard Method for CBTC Performance and Functional Requirements (IEEE Std 1474.1-2004)"},{"key":"17_CR8","unstructured":"Lecomte, T., Burdy, L., Leuschel, M.: Formally checking large data sets in the railways. CoRR abs\/1210.6815 (2012)"},{"key":"17_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"JR Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"17_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B - System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"17_CR11","unstructured":"Badeau, F., Doche-Petit, M.: Formal data validation with Event-B. The Computing Research Repository (CoRR) abs\/1210.7039 (2012)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Lodemann, M., Luttenberger, N.: Ontology-based railway infrastructure verification - planning benefits. In: KMIS, pp. 176\u2013181 (2010)","DOI":"10.5220\/0003071801760181"},{"key":"17_CR13","unstructured":"Hoinaru, O., Mariano, G., Gransart, C.: An ontology for complex railway systems; application to the ERTMS\/ETCS system. DTU Compute-Technical Report-2013 Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK Workshop), pp. 7\u201313 (2013)"},{"key":"17_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07287-5","volume-title":"Formal Engineering for Industrial Software Development using the SOFL Method","author":"S Liu","year":"2004","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development using the SOFL Method. Springer, Heidelberg (2004)"},{"key":"17_CR15","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003","author":"M Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855\u2013874. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05032-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T00:36:00Z","timestamp":1746146160000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05032-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319050317","9783319050324"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05032-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}