{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:34:07Z","timestamp":1725748447515},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642408939"},{"type":"electronic","value":"9783642408946"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40894-6_10","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T06:39:24Z","timestamp":1378967964000},"page":"125-132","source":"Crossref","is-referenced-by-count":1,"title":["The SafeCap Project on Railway Safety Verification and Capacity Simulation"],"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":"10_CR1","unstructured":"The Rail Technical Strategy 2012. The Technical Strategy Leadership Group, UK (2012), \n                    \n                      www.futurerailway.org\/RTS\/Pages\/Intro.aspx"},{"key":"10_CR2","unstructured":"The SafeCap project: Overcoming the railway capacity challenges without undermining rail network safety, \n                    \n                      http:\/\/safecap.cs.ncl.ac.uk"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Iliasov, A., Romanovsky, A.: SafeCap\u00a0domain language for reasoning\u00a0about safety and capacity. In: Workshop on Dependable Transportation Systems at the Pacific-Rim Dependable Computing Conference (PRDC 2012), Niigata, Japan. IEEE CS (2012)","DOI":"10.1109\/WDTS-RASD.2012.11"},{"key":"10_CR4","unstructured":"Iliasov, A., Romanovsky, A.: The SafeCap toolset for improving railway capacity while ensuring its safety. In: Rail Research UK Association (RRUKA) Annual Conference, London, UK (November 2012), \n                    \n                      http:\/\/rruka.org.uk\/rruka-annual-conference-2012-conference-proceedings\/"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/978-3-642-40793-2_12","volume-title":"SAFECOMP 2013","author":"A. Iliasov","year":"2013","unstructured":"Iliasov, A., Lopatkin, I., Romanovsky, A.: The SafeCap Platform for Modelling Railway Safety and Capacity. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol.\u00a08153, pp. 130\u2013137. Springer, Heidelberg (2013)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"10_CR7","unstructured":"The ProB Animator and Model Checker. Dusseldorf University, \n                    \n                      http:\/\/www.stups.uni-duesseldorf.de\/ProB"},{"key":"10_CR8","unstructured":"Epsilon Generation Language, \n                    \n                      http:\/\/www.eclipse.org\/epsilon\/doc\/egl\/"},{"key":"10_CR9","unstructured":"The Z3 theorem prover. MS, \n                    \n                      http:\/\/z3.codeplex.com\/"},{"key":"10_CR10","unstructured":"The Yices SMT solver. SRI, \n                    \n                      http:\/\/yices.csl.sri.com\/"},{"key":"10_CR11","unstructured":"The Vampire theorem prover. University of Manchester, \n                    \n                      http:\/\/www.vprover.org\/"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"10_CR13","unstructured":"Pachl, J.: Railway operation and control. VTD Rail Publishing (2009)"},{"key":"10_CR14","unstructured":"Assessment of capacity allocation and utilisation of capacity constrained parts of the GB rail network. SKM Colin Buchanan (2012), \n                    \n                      http:\/\/www.rail-reg.gov.uk\/pr13\/PDF\/skm-capacity-utilisation-aug-2012.pdf"},{"key":"10_CR15","unstructured":"Eclipse Modeling Framework Project (EMF), \n                    \n                      http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"10_CR16","unstructured":"Eclipse Graphical Modeling Project (GMF), \n                    \n                      http:\/\/www.eclipse.org\/modeling\/gmp\/"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40894-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:07:54Z","timestamp":1558058874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40894-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642408939","9783642408946"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40894-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}