{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:51:08Z","timestamp":1742914268971,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406744"},{"type":"electronic","value":"9783642406751"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-40675-1_21","type":"book-chapter","created":{"date-parts":[[2013,8,19]],"date-time":"2013-08-19T12:12:46Z","timestamp":1376914366000},"page":"131-136","source":"Crossref","is-referenced-by-count":0,"title":["Specification of Train Control Systems Using Formal Methods"],"prefix":"10.1007","author":[{"given":"Bingqing","family":"Xu","sequence":"first","affiliation":[]},{"given":"Lichen","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Davies, J.: Specification and Proof in Real-Time Systems, Oxford, England (1993) ISBN 0-902928-71-6","DOI":"10.1017\/CBO9780511569760"},{"key":"21_CR2","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Pearson (2005)"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/j.entcs.2005.12.093","volume":"162","author":"J. Ouaknine","year":"2006","unstructured":"Ouaknine, J.: Timed CSP: A Retrospective. Electronic Notes in Theoretical Computer Science\u00a0162, 273\u2013276 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"21_CR4","volume-title":"Combination of Process, Data, and Time","author":"J. Hoenicke","year":"2006","unstructured":"Hoenicke, J.: Combination of Process, Data, and Time, Oldenburg, Germany (2006) ISSN 0946-2910"},{"key":"21_CR5","unstructured":"S\u00fchl, C.: An Integration of Z and Timed CSP for Specifying Real-Time Embedded Systems (2002)"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-73210-5_13","volume-title":"Integrated Formal Methods","author":"J. Faber","year":"2007","unstructured":"Faber, J., Jacobs, S., Sofronie-Stokkermans, V.: Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol.\u00a04591, pp. 233\u2013252. Springer, Heidelberg (2007)"},{"key":"21_CR7","unstructured":"Hoenicke, J.: Specification of Radio Based Railway Crossings with the Combination of CSP, OZ, and DC. LNCS (2001)"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-47884-1_14","volume-title":"Integrated Formal Methods","author":"J. Hoenicke","year":"2002","unstructured":"Hoenicke, J., Olderog, E.-R.: Combining specification techniques for processes, data and time. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 245\u2013266. Springer, Heidelberg (2002)"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-16265-7_12","volume-title":"Integrated Formal Methods","author":"J. Faber","year":"2010","unstructured":"Faber, J., Ihlemann, C., Jacobs, S., Sofronie-Stokkermans, V.: Automatic Verification of Parametric Specifications with Complex Topologies. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 152\u2013167. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Electrical Engineering","Mobile, Ubiquitous, and Intelligent Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40675-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T14:22:29Z","timestamp":1676816549000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-40675-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642406744","9783642406751"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40675-1_21","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2014]]}}}