{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:28:09Z","timestamp":1725506889475},"publisher-location":"Boston, MA","reference-count":14,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_60","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"621-627","source":"Crossref","is-referenced-by-count":0,"title":["a Refinement Based Approach to Calculating a Fault-Tolerant Railway Signal Device"],"prefix":"10.1007","author":[{"given":"Alistair A.","family":"McEwan","sequence":"first","affiliation":[]},{"given":"J. C. P.","family":"Woodcock","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"60_CR1","unstructured":"A. L. C. Cavalcanti. A Refinement Calculus for Z DPhil thesis, The University of Oxford, 1997."},{"key":"60_CR2","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"60_CR3","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International Series in Computer Science. Prentice-Hall, 1985."},{"key":"60_CR4","unstructured":"C. A. R. Hoare and Jifeng He. Unifying Theories of Programming. Prentice-Hall Series in Computer Science. Prentice-Hall, 1998."},{"key":"60_CR5","unstructured":"Formal Systems (Europe) Ltd. FDR: User manual and tutorial, version 2.28. Technical report, Formal Systems (Europe) Ltd., 1999."},{"key":"60_CR6","unstructured":"Nancy A. Lynch. DistributedAlgorithms. Morgan-Kaufmann, 1996."},{"key":"60_CR7","doi-asserted-by":"crossref","unstructured":"M. Pease, R. Shostak, and L. Lamport. Reaching agreement in the presence of faults. Journal of the Association for Computing Machinery, 27, 1980.","DOI":"10.1145\/322186.322188"},{"key":"60_CR8","unstructured":"A. W. Roscoe. The theory and practice of concurrency. Prentice Hall Series in Computer Science. Prentice Hall, 1998."},{"key":"60_CR9","unstructured":"Andrew Clive Simpson. Safety through security. DPhil thesis, The University of Oxford, 1996."},{"key":"60_CR10","unstructured":"J. C. P. Woodcock. Montigel\u2019s Dwarf, a treatment of the Dwarf Signal problem using CSP\/FDR. In Proceedings of the 5th FMERail Workshop, Toulouse, France, 1999."},{"key":"60_CR11","doi-asserted-by":"crossref","unstructured":"J. C. P. Woodcock and A. L. C. Cavalcanti. A concurrent language for refinement. In 5th Irish Workshop on Formal Methods, 2001.","DOI":"10.14236\/ewic\/IWFM2001.7"},{"key":"60_CR12","doi-asserted-by":"crossref","unstructured":"J. C. P. Woodcock and A. L. C. Cavalcanti. The semantics of Circus. In Didier Ber, Jonathan P. Bowen, Martin C. Henson, and Ken Robinson, editors, Formal Specification and Development in Zand B, pages 184\u2013203. ZB 2002, Springer-Verlag, 2002.","DOI":"10.1007\/3-540-45648-1_10"},{"key":"60_CR13","unstructured":"J. C. P. Woodcock and Alistair A. McEwan. Verifying the safety of a railway signalling device. In H. Ehrig, B. J. Kramer, and A. Ertas, editors, Proceedings of IDPT 2002, volume 1. The 6th Biennial World Conference on Integrated Design and Process Technology, Society for Design and Process Science, 2002. Winner of the best paper award."},{"key":"60_CR14","unstructured":"Jim Woodcock and Jim Davies. Using Z: Specification, Refinement, and Proof. International Series in Computer Science. Prentice-Hall, 1996."}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T22:16:09Z","timestamp":1605651369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_60","relation":{},"subject":[]}}