{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:39:07Z","timestamp":1725795547459},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319083100"},{"type":"electronic","value":"9783319083117"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08311-7_14","type":"book-chapter","created":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T16:54:00Z","timestamp":1402419240000},"page":"177-192","source":"Crossref","is-referenced-by-count":6,"title":["Practical Formal Methods in Railways - The SafeCap Approach"],"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":"14_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The B-Book. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modelling in Event-B. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BFb0053357","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"J.-R. Abrial","year":"1998","unstructured":"Abrial, J.-R., Mussat, L.: Introducing Dynamic Constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, pp. 83\u2013128. Springer, Heidelberg (1998)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11916246_1","volume-title":"Rigorous Development of Complex Fault-Tolerant Systems","author":"J.-R. Abrial","year":"2006","unstructured":"Abrial, J.-R.: Train systems. In: Butler, M., Jones, C.B., Romanovsky, A., Troubitsyna, E. (eds.) Fault-Tolerant Systems. LNCS, vol.\u00a04157, pp. 1\u201336. Springer, Heidelberg (2006)"},{"key":"14_CR5","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., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 369\u2013387. Springer, Heidelberg (1999)"},{"key":"14_CR6","unstructured":"Bobot, F., Filli\u00e2tre, J.-C., March\u00e9, C., Paskevich, A.: Why3: Shepherd your herd of provers. In: Boogie 2011: First International Workshop on Intermediate Verification Languages, pp. 53\u201364 (August 2011)"},{"key":"14_CR7","unstructured":"Janczura, C.W.: Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets. PhD thesis, School of Mathematics and Institute for Telecommunications Research, University of South Australia (1998)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/11955757_21","volume-title":"B 2007: Formal Specification and Development in B","author":"D. Essam\u00e9","year":"2006","unstructured":"Essam\u00e9, D., Doll\u00e9, D.: B in Large-Scale Projects: The Canarsie Line CBTC Experience. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol.\u00a04355, pp. 252\u2013254. Springer, Heidelberg (2006)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Hagalisletto, A.M., Bj\u00f8rk, J., Yu, I.C., Enger, P.: Constructing and Refining Large-Scale Railway Models Represented by Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C, 444\u2013460 (2007)","DOI":"10.1109\/TSMCC.2007.897323"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Iliasov, A., Romanovsky, A.: SafeCap domain language for reasoning about safety and capacity. In: Pacific-Rim Dependable Computing Conference (PRDC 2012), Niigata, Japan. IEEE CS (November 2012)","DOI":"10.1109\/WDTS-RASD.2012.11"},{"key":"14_CR11","unstructured":"Winter, K.: Model Checking Railway Interlocking Systems. In: Proceeding of the 25th Australian Computer Science Conference, ACSC 2002 (2002)"},{"key":"14_CR12","unstructured":"Winter, K., Robinson, N.: Modelling Large Railway Interlockings and Model Checking Small Ones. In: Proceeding of the Australian Cumputer Science Conference, ACSC 2003 (2003)"},{"key":"14_CR13","unstructured":"Burdy, L.: Automatic Refinement. In: Proceedings of BUGM at FM 1999 (1999)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A Model Checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"key":"14_CR15","unstructured":"OpenTrack simulator. Website, \n                    \n                      http:\/\/www.opentrack.ch\/"},{"key":"14_CR16","unstructured":"RailSys simulation platform. Website, \n                    \n                      http:\/\/www.rmcon.de"},{"key":"14_CR17","unstructured":"Railway Group Standards. Signalling Design: Control Tables, \n                    \n                      http:\/\/www.rgsonline.co.uk\/"},{"key":"14_CR18","unstructured":"Rigorous Open Development Environment for Complex Systems (RODIN). IST FP6 STREP project, \n                    \n                      http:\/\/rodin.cs.ncl.ac.uk\/"},{"key":"14_CR19","unstructured":"SafeCap\u00a0Project. SafeCap Platfrom website (2013), \n                    \n                      http:\/\/safecap.sf.net"},{"key":"14_CR20","unstructured":"TPTP. Thousands of Problems for Theorem Provers, \n                    \n                      http:\/\/www.tptp.org\/"},{"key":"14_CR21","unstructured":"TSLG. The Rail Technical Strategy, RTS (2012), \n                    \n                      http:\/\/www.futurerailway.org\/RTS\/Pages\/Intro.aspx"},{"key":"14_CR22","unstructured":"Fokkink, W.J., Hollingshead, P.R.: Verification of Interlockings: from Control Tables to Ladder Logic Diagrams. In: Proceedings of 3rd Workshop on Formal Methods for Industrial Critical Systems, FMICS 1998 (1998)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08311-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T01:57:47Z","timestamp":1558922267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08311-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319083100","9783319083117"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08311-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}