{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:32:27Z","timestamp":1742383947932},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626008"},{"type":"electronic","value":"9783540683308"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0014714","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:12:52Z","timestamp":1132737172000},"page":"69-74","source":"Crossref","is-referenced-by-count":3,"title":["A case study in timed CSP: The railroad crossing problem"],"prefix":"10.1007","author":[{"given":"Luming","family":"Lai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"Watson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"J. Davies. Specification and Proof in Real-Time CSP. D.Phil thesis, Computing Laboratory, Oxford University, published by Cambridge University Press, 1993.","DOI":"10.1017\/CBO9780511569760"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"J. Davies. Setting real-time CSP. Internal note, Computing Laboratory, Oxford University, 1994.","DOI":"10.1142\/9789812831583_0002"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"A.S. Evans, D.R.W. Holton, L. Lai and P. Watson. A comparison of formal real-time specification languages. In Proceedings of the Northern Formal Methods Work-shop, Ilkley, UK, 1996.","DOI":"10.14236\/ewic\/FA1996.7"},{"key":"8_CR4","volume-title":"NRL Memorandum Report NRL\/MR\/5540-94-7619","author":"C.L. Heitmeyer","year":"1994","unstructured":"C.L. Heitmeyer and N. Lynch. The generalized railroad crossing: a case study in formal verification of real-time systems. NRL Memorandum Report NRL\/MR\/5540-94-7619, Navy Research Laboratory, Washington DC, USA, 1994."},{"key":"8_CR5","unstructured":"C.L. Heitmeyer and D. Mandrioli (eds.). Formal Methods for Real-Time Computing. John Wiley & Sons, 1996."},{"key":"8_CR6","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, London, 1985."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"L. Lai, P. Watson, A case study in Timed CSP: the Railroad Crossing Problem, Technical Report CS-01-97, Dept. of Computing, University of Bradford, January 1997.","DOI":"10.1007\/BFb0014714"},{"key":"8_CR8","unstructured":"I. Lee, H. Ben-Abdallah and J. Choi. A process algebraic method for the specification and analysis of real-time systems. In [5]"},{"key":"8_CR9","unstructured":"W.D. Young. Modelling and verification of a simple real-time railroad gate controller. In M.G. Hinchey and J.P. Bowen (eds.), Applications of Formal Methods, Prentice Hall, 1995."}],"container-title":["Lecture Notes in Computer Science","Hybrid and Real-Time Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014714","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:47:13Z","timestamp":1586580433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014714"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626008","9783540683308"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0014714","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}