{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:01Z","timestamp":1725664381068},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540585558"},{"type":"electronic","value":"9783540490319"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58555-9_118","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:36:29Z","timestamp":1330274189000},"page":"602-617","source":"Crossref","is-referenced-by-count":3,"title":["A formal specification of an automatic train protection system"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Simpson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"36_CR1","unstructured":"R.E.B. Barnard and H. Uebel. SELCAB Automatic Train Protection System. BR Automatic Train Protection Trials, The Institution of Railway Signal Engineers, February 1992."},{"key":"36_CR2","unstructured":"C. Binard and W. Van de Voorde. ACEC Transport's Automatic Train Protection System. BR Automatic Train Protection Trials, The Institution of Railway Signal Engineers, February 1992."},{"key":"36_CR3","unstructured":"Draft specification for electronic traction equipment \u2014 train communication network. Part 1: General architecture. BSI Draft Standard 92\/28623 DC, June 1992."},{"key":"36_CR4","unstructured":"Draft specification for electronic traction equipment \u2014 train communication network. Part 2: Real time protocols. BSI Draft Standard 92\/28622 DC, June 1992."},{"key":"36_CR5","unstructured":"Draft specification for electronic traction equipment \u2014 train communication network. Part 3: Multifunction vehicle bus. BSI Draft Standard 92\/28621 DC, June 1992."},{"key":"36_CR6","unstructured":"Draft specification for electronic traction equipment \u2014 train communication network. Part 4: Wire train bus. BSI Draft Standard 92\/28620 DC, June 1992."},{"key":"36_CR7","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985."},{"key":"36_CR8","unstructured":"A.W. Roscoe. Model checking CSP. In A.W. Roscoe, editor, A Classical Mind. Prentice Hall, 1994."}],"container-title":["Lecture Notes in Computer Science","FME '94: Industrial Benefit of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58555-9_118.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:53Z","timestamp":1619572733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58555-9_118"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540585558","9783540490319"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-58555-9_118","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}