{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:08:20Z","timestamp":1725721700347},"publisher-location":"London","reference-count":4,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199625"},{"type":"electronic","value":"9781447130543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3054-3_8","type":"book-chapter","created":{"date-parts":[[2013,4,8]],"date-time":"2013-04-08T23:33:23Z","timestamp":1365464003000},"page":"101-112","source":"Crossref","is-referenced-by-count":0,"title":["The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE"],"prefix":"10.1007","author":[{"given":"A. J.","family":"Harrison","sequence":"first","affiliation":[]},{"given":"I. D. R.","family":"Shannon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-18496-5","volume-title":"Introduction to Discrete Mathematics for Software Engineering","author":"T Denvir","year":"1986","unstructured":"Denvir T. Introduction to Discrete Mathematics for Software Engineering, Macmillan, 1986"},{"key":"8_CR2","volume-title":"Philosophy and Principles of British Signalling, Third Railway Signalling and Telecommunications Course","author":"BD Heard","year":"1993","unstructured":"Heard B D. Philosophy and Principles of British Signalling, Third Railway Signalling and Telecommunications Course, RIA 1993"},{"key":"8_CR3","volume-title":"The Regulation of Railway Safety in Great Britain, Third Railway Signalling and Telecommunications Course","author":"CB Holden Major","year":"1993","unstructured":"Holden Major C B. The Regulation of Railway Safety in Great Britain, Third Railway Signalling and Telecommunications Course, RIA 1993"},{"key":"8_CR4","volume-title":"The Z Notation A Reference Manual","author":"JM Spivey","year":"1989","unstructured":"Spivey J M. The Z Notation A Reference Manual, Prentice Hall, 1989"}],"container-title":["Safe Comp 95"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3054-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,10]],"date-time":"2018-10-10T22:31:18Z","timestamp":1539210678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3054-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199625","9781447130543"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3054-3_8","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}