{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T18:34:36Z","timestamp":1764873276069},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407925"},{"type":"electronic","value":"9783642407932"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40793-2_12","type":"book-chapter","created":{"date-parts":[[2013,8,27]],"date-time":"2013-08-27T02:10:59Z","timestamp":1377569459000},"page":"130-137","source":"Crossref","is-referenced-by-count":17,"title":["The SafeCap Platform for Modelling Railway Safety and Capacity"],"prefix":"10.1007","author":[{"given":"Alexei","family":"Iliasov","sequence":"first","affiliation":[]},{"given":"Ilya","family":"Lopatkin","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/3-540-48119-2_22","volume-title":"FM\u201999 - Formal Methods","author":"P. Behm","year":"1999","unstructured":"Behm, P., Benoit, P., Faivre, A., Meynadier, J.-M.: M\u00e9t\u00e9or: A successful application of B in a large project. In: Wing, J.M., Woodcock, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 369\u2013387. Springer, Heidelberg (1999)"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00165-009-0143-6","volume":"23","author":"A.E. Haxthausen","year":"2011","unstructured":"Haxthausen, A.E., Peleska, J., Kinder, S.: A formal approach for the construction and verification of railway control systems. Formal aspects of computing\u00a023, 191\u2013219 (2011)","journal-title":"Formal aspects of computing"},{"doi-asserted-by":"crossref","unstructured":"Svendsen, A., Moller-Pedersen, B., Haugen, O., Endresen, J., Carlson, E.: Formalizing train control language: automating analysis of train stations. WIT TBE\u00a0114 (2010)","key":"12_CR3","DOI":"10.2495\/CR100241"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-30729-4_5","volume-title":"Integrated Formal Methods","author":"Y. Isobe","year":"2012","unstructured":"Isobe, Y., Moller, F., Nguyen, H.N., Roggenbach, M.: Safety and Line Capacity in Railways \u2013 An Approach in Timed CSP. In: Derrick, J., Gnesi, S., Latella, D., Treharne, H. (eds.) IFM 2012. LNCS, vol.\u00a07321, pp. 54\u201368. Springer, Heidelberg (2012)"},{"unstructured":"The SafeCap project: Overcoming the railway capacity challenges without undermining rail network safety, \n                    \n                      http:\/\/safecap.cs.ncl.ac.uk","key":"12_CR5"},{"doi-asserted-by":"crossref","unstructured":"Iliasov, A., Romanovsky, A.: SafeCap\u00a0domain language for reasoning\u00a0about safety and capacity. In: Workshop on Dependable Transportation Systems. IEEE CS, Niigata (2012)","key":"12_CR6","DOI":"10.1109\/WDTS-RASD.2012.11"},{"unstructured":"Epsilon, \n                    \n                      http:\/\/www.eclipse.org\/epsilon\/","key":"12_CR7"},{"unstructured":"The Yices SMT solver, \n                    \n                      yices.csl.sri.com","key":"12_CR8"},{"unstructured":"The ProB model checker, \n                    \n                      www.stups.uni-duesseldorf.de\/ProB","key":"12_CR9"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40793-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T23:11:30Z","timestamp":1558048290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40793-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407925","9783642407932"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40793-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}