{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:37:10Z","timestamp":1725896230859},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307287"},{"type":"electronic","value":"9783642307294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30729-4_5","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T08:49:46Z","timestamp":1340786986000},"page":"54-68","source":"Crossref","is-referenced-by-count":14,"title":["Safety and Line Capacity in Railways \u2013 An Approach in Timed CSP"],"prefix":"10.1007","author":[{"given":"Yoshinao","family":"Isobe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faron","family":"Moller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoang Nga","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Roggenbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"FDR2, \n                  \n                    http:\/\/www.fsel.com\/software.html"},{"key":"5_CR2","unstructured":"PAT, \n                  \n                    http:\/\/www.comp.nus.edu.sg\/~pat\/"},{"key":"5_CR3","unstructured":"UIC Leaflet 405 OR. Links between Railway Infrastructure Capacity and the Quality of Operations. International Union of Railways (1996)"},{"key":"5_CR4","unstructured":"UIC Leaflet 406. Capacity. International Union of Railways (2004)"},{"issue":"5","key":"5_CR5","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1016\/j.tre.2007.04.001","volume":"44","author":"M. Abril","year":"2008","unstructured":"Abril, M., Barber, F., Ingolotti, L., Salido, M., Tormos, P., Lova, A.: An assessment of railway capacity. Transportation Research Part E: Logistics and Transportation Review\u00a044(5), 774\u2013806 (2008)","journal-title":"Transportation Research Part E: Logistics and Transportation Review"},{"key":"5_CR6","unstructured":"Barber, F., Abril, M., Salido, M., Ingolotti, L., Tormos, P., Lova, A.: Survey of automated systems for railway management. Technical Report. TU Valencia (2007)"},{"issue":"8","key":"5_CR7","doi-asserted-by":"publisher","first-page":"616","DOI":"10.1016\/j.trb.2005.09.004","volume":"40","author":"R.L. Burdett","year":"2006","unstructured":"Burdett, R.L., Kozan, E.: Techniques for absolute capacity determination in railways. Transportation Research Part B: Methodological\u00a040(8), 616\u2013632 (2006)","journal-title":"Transportation Research Part B: Methodological"},{"key":"5_CR8","unstructured":"Dragon, M., Gimblett, A., Roggenbach, M.: A Simulator for Timed CSP. In: AVoCS 2011. Technical Report. Newcastle University (2011)"},{"key":"5_CR9","unstructured":"Department of Transport. Delivering a Sustainable Railway. White Paper CM 7176 (2007)"},{"key":"5_CR10","unstructured":"Fokkink, W., Hollingshead, P.: Verification of interlockings: from control tables to ladder logic diagrams. In: Proceedings of FMICS 1998, pp. 171\u2013185 (1998)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Hoare, T.: Communicating Sequential Processes. Prentice Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"5_CR12","unstructured":"Isobe, Y., Nguyen, H.N., Roggenbach, M.: Towards safe capacity in the railway domain \u2013 an experiment in Timed-CSP. In: DSW 2011 (2011)"},{"key":"5_CR13","unstructured":"James, P., Roggenbach, M.: Automatically Verifying Railway Interlockings using SAT-based Model Checking. In: AVoCS 2010. EASST (2011)"},{"key":"5_CR14","unstructured":"Kerr, D., Rowbotham, T.: Introduction To Railway Signalling. Institution of Railway Signal Engineers (2001)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Khattri, M., Ouaknine, J., Roscoe, A.: Automated translation of timed automata to Tock-CSP. In: AVoCS 2010. Technical Report. D\u00fcsseldorf University (2010)","DOI":"10.2316\/P.2011.720-047"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Landex, A., Kaas, A., Schittenhelm, B., Schneider-Tilli, J.: Practical use of the UIC 406 capacity leaflet by including timetable tools in the investigations. In: Proceedings of the 10th International Conference on Computers in Railways (2006)","DOI":"10.2495\/CR060631"},{"key":"5_CR17","first-page":"1","volume":"10","author":"J. Ouaknine","year":"2003","unstructured":"Ouaknine, J., Worrell, J.: Timed CSP = closed timed \u03b5-automata. Nordic Journal of Computing\u00a010, 1\u201335 (2003)","journal-title":"Nordic Journal of Computing"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Roscoe, B.: Understanding Concurrent Systems. Springer (2010)","DOI":"10.1007\/978-1-84882-258-0"},{"key":"5_CR19","unstructured":"Schneider, S.: Concurrent and Real-time systems. Wiley (2000)"},{"key":"5_CR20","unstructured":"Simpson, A., Woodcock, J., Davies, J.: The mechanical verification of solid-state interlocking geographic data. In: Formal Methods Pacific 1997. Springer (1997)"},{"key":"5_CR21","unstructured":"Winter, K.: Model checking railway interlocking systems. Australian Computer Science Communications\u00a024(1) (2002)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30729-4_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:28:59Z","timestamp":1620127739000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30729-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307287","9783642307294"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30729-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}