{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:37:49Z","timestamp":1725856669254},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319336923"},{"type":"electronic","value":"9783319336930"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-33693-0_31","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T01:35:47Z","timestamp":1464053747000},"page":"491-507","source":"Crossref","is-referenced-by-count":11,"title":["Rule-Based Consistency Checking of Railway Infrastructure Designs"],"prefix":"10.1007","author":[{"given":"Bj\u00f8rnar","family":"Luteberget","sequence":"first","affiliation":[]},{"given":"Christian","family":"Johansen","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"31_CR1","unstructured":"Bj\u00f8rner, D.: New results and trends in formal techniques for the development of software in transportation systems. In: Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003). L\u2019Harmattan Hongrie (2003)"},{"key":"31_CR2","series-title":"Formal Approaches to Computing and Information Technology","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/978-1-4471-0523-7_15","volume-title":"Industrial-Strength Formal Methods in Practice","author":"A Bor\u00e4lv","year":"1999","unstructured":"Bor\u00e4lv, A., St\u00e5lmarck, G.: Formal verification in railways. In: Hinchey, M.G., Bowen, J.P. (eds.) Industrial-Strength Formal Methods in Practice. FACIT, pp. 329\u2013350. Springer, London (1999)"},{"key":"31_CR3","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/j.is.2014.11.007","volume":"49","author":"M Bosschaart","year":"2015","unstructured":"Bosschaart, M., Quaglietta, E., Janssen, B., Goverde, R.M.P.: Efficient formalization of railway interlocking data in RailML. Inf. Syst. 49, 126\u2013141 (2015)","journal-title":"Inf. Syst."},{"key":"31_CR4","doi-asserted-by":"crossref","DOI":"10.1002\/9781119005056","volume-title":"CENELEC 50128 and IEC 62279 Standards","author":"J-L Boulanger","year":"2015","unstructured":"Boulanger, J.-L.: CENELEC 50128 and IEC 62279 Standards. Wiley-ISTE, New\u00a0Jersey (2015)"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Busard, S., Cappart, Q., Limbr\u00e9e, C., Pecheur, C., Schaus, P.: Verification of railway interlocking systems. In: 4th Internationl Workshop on Engineering Safety and Security Systems (ESSS), vol. 184 of EPTCS, pp. 19\u201331 (2015)","DOI":"10.4204\/EPTCS.184.2"},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","first-page":"97","volume-title":"Correct Hardware Design and Verification Methods","author":"C Eisner","year":"1999","unstructured":"Eisner, C.: Using symbolic model checking to verify the railway stations of hoorn-kersenboogerd and heerhugowaard. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 97\u2013109. Springer, Heidelberg (1999)"},{"key":"31_CR7","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1002\/9781118459898.ch4","volume-title":"Formal Methods for Industrial Critical Systems","author":"A Fantechi","year":"2012","unstructured":"Fantechi, A., Fokkink, W., Morzenti, A.: Some trends in formal methods applications to railway signalling. In: Gnesi, S., Margaria, T. (eds.) Formal Methods for Industrial Critical Systems, pp. 61\u201384. Wiley, New Jersey (2012)"},{"key":"31_CR8","first-page":"107","volume-title":"FORMS\/FORMAT 2010","author":"A Ferrari","year":"2010","unstructured":"Ferrari, A., Magnani, G., Grasso, D., Fantechi, A.: Model checking interlocking control tables. In: Schnieder, E., Tarnai, G. (eds.) FORMS\/FORMAT 2010, pp. 107\u2013115. Springer, Heidelberg (2010)"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"Fukuda, M., Hirao, Y., Ogino, T.: VDM specification of an interlocking system and a simulator for its validation. In: 9th IFAC Symposium Control in Transportation Systems Proceedings, vol. 1, pp. 218\u2013223, Braunschweig. IFAC (2000)","DOI":"10.1016\/S1474-6670(17)38144-2"},{"key":"31_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-3-319-05032-4_16","volume-title":"Software Engineering and Formal Methods","author":"AE Haxthausen","year":"2014","unstructured":"Haxthausen, A.E., Peleska, J., Pinger, R.: Applied bounded model checking for interlocking system designs. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 205\u2013220. Springer, Heidelberg (2014)"},{"key":"31_CR11","unstructured":"Jernbaneverket. Teknisk regelverk (2015). http:\/\/trv.jbv.no\/"},{"key":"31_CR12","unstructured":"Lecomte, T., Burdy, L., Leuschel, M.: Formally checking large data sets in the railways. In: Proceedings of DS-Event-B 2012: Advances in Developing Dependable Systems in Event-B. In conjunction with ICFEM, 2012, vol. 3(1), pp. 35\u201343 (2012)"},{"key":"31_CR13","series-title":"Texts in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07003-1","volume-title":"Elements of Finite Model Theory","author":"L Libkin","year":"2004","unstructured":"Libkin, L.: Elements of Finite Model Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2004)"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Lodemann, M., Luttenberger, N., Schulz, E.: Semantic computing for railway infrastructure verification. In: IEEE Seventh International Conference on Semantic, Computing, pp. 371\u2013376 (2013)","DOI":"10.1109\/ICSC.2013.69"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Luteberget, B., Feyling, C.: Automated verification of rules and regulations compliance in CAD models of railway signalling and interlocking. In: Computers in Railways XV. WIT Press (2016) (to appear)","DOI":"10.2495\/CR160151"},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"Luteberget, B., Johansen, C., Steffen, M.: Rule-based consistency checking of railway infrastructure designs. Technical report 450, January 2016","DOI":"10.1007\/978-3-319-33693-0_31"},{"key":"31_CR17","first-page":"233","volume-title":"Computers in Railways IX","author":"A Nash","year":"2004","unstructured":"Nash, A., Huerlimann, D., Sch\u00fctte, J., Krauss, V.P.: RailML - a standard data interface for railroad applications. In: Allan, J., Hill, R.J., Brebbia, C.A., Sciutto, G., Sone, S. (eds.) Computers in Railways IX, pp. 233\u2013240. WIT Press, Southampton (2004)"},{"key":"31_CR18","volume-title":"Railway Operation and Control","author":"J Pachl","year":"2015","unstructured":"Pachl, J.: Railway Operation and Control. VTD Rail Publishing, Mountlake Terrace (2015)"},{"key":"31_CR19","unstructured":"RailML. The XML interface for railway applications (2016). http:\/\/www.railml.org"},{"issue":"1\u20132","key":"31_CR20","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1017\/S1471068411000500","volume":"12","author":"T Swift","year":"2012","unstructured":"Swift, T., Warren, D.S.: XSB: extending prolog with tabled logic programming. Theor. Pract. Log. Program. 12(1\u20132), 157\u2013187 (2012)","journal-title":"Theor. Pract. Log. Program."},{"key":"31_CR21","volume-title":"Principles of Database and Knowledge-Base Systems","author":"JD Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems. CSPP, New York (1988)"},{"key":"31_CR22","unstructured":"Winter, K., Johnston, W., Robinson, P., Strooper, P., van den Berg, L.: Tool support for checking railway interlocking designs. In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software, pp. 101\u2013107 (2006)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33693-0_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T14:33:33Z","timestamp":1567953213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33693-0_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319336923","9783319336930"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33693-0_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}