{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:12:58Z","timestamp":1725577978701},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642142604"},{"type":"electronic","value":"9783642142611"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-14261-1_11","type":"book-chapter","created":{"date-parts":[[2011,2,8]],"date-time":"2011-02-08T13:07:42Z","timestamp":1297170462000},"page":"107-115","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":46,"title":["Model Checking Interlocking Control Tables"],"prefix":"10.1007","author":[{"given":"Alessio","family":"Ferrari","sequence":"first","affiliation":[]},{"given":"Gianluca","family":"Magnani","sequence":"additional","affiliation":[]},{"given":"Daniele","family":"Grasso","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,1,31]]},"reference":[{"key":"11_CR1","unstructured":"Anunchai, S.V.: Verification of Railway Interlocking Tables using Coloured Pertri Nets. Proceedings of the 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (2009)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/s001650050021","volume":"10","author":"A. Boralv","year":"1998","unstructured":"Boralv, A.: Formal Verification of a Computerized Railway Interlocking. Formal Aspects of Computing 10 (1998) 338\u2013360","journal-title":"Formal Aspects of Computing"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Cimatti, A., et al.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV 2002, LNCS 2404, 359\u2013364","DOI":"10.1007\/3-540-45657-0_29"},{"key":"11_CR4","unstructured":"Fokkink , W., Hollingshead, P.: Verification of Interlockings: from Control Tables to Ladder Logic Diagrams. 3rd FMICS Workshop (1998) 171\u2013185."},{"key":"11_CR5","unstructured":"Hansen, K.M.: Formalizing Railway Interlocking Systems. Proceedings of the 2nd FMERail Workshop (1998)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Haxthausen, A.E., Peleska, J.: Formal Development and Verification of a Distributed Railway Control System. Proceedings of FM\u201999, LNCS 1709 (1999) 1546 \u2013 1563","DOI":"10.1007\/3-540-48118-4_32"},{"key":"11_CR7","unstructured":"Haxthausen, A.E.: Developing a Domain Model for Relay Circuits. International Journal of Software and Informatics (2009) 241\u2013272"},{"key":"11_CR8","unstructured":"Holzmann, G.J.: The SPIN Model Checker : Primer and Reference Manual. Addison-Wesley Professional (2003)"},{"key":"11_CR9","first-page":"19","volume":"250","author":"K. Kanso","year":"2009","unstructured":"Kanso, K., et al.: Automated Verification of Signalling Principles in Railway Interlocking Systems. ENTCS 250 (2009) 19\u201331","journal-title":"ENTCS"},{"key":"11_CR10","first-page":"103","volume":"4","author":"A. Mirabadi","year":"2009","unstructured":"Mirabadi, A., Yazdi, M.B.: Automatic Generation and Verification of Railway Interlocking Control tables using FSM and NuSMV. Transport Problems : an International Scientific Journal 4 (2009) 103\u2013110","journal-title":"Transport Problems : an International Scientific Journal"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Pavlovic, O., Ehrich, H.: Model Checking PLC Software Written in Function Block Diagram. 3rd ICST (2010) 439\u2013448","DOI":"10.1109\/ICST.2010.10"},{"key":"11_CR12","unstructured":"Tombs, D., et al.: Signalling Control Table Generation and Verification. Proceedings of the Conference on Railway Engineering (2002)"},{"key":"11_CR13","unstructured":"Winter, K., Robinson, N.J.: Modeling Large Railway Interlockings and Model Checking Small Ones. Proceedings of the 26th Australasian Computer Science Conference 35 (2003) 309\u2013316"},{"key":"11_CR14","unstructured":"Winter, K., et al.: Tool Support for Checking Railway Interlocking Designs. Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software (2006) 101\u2013107"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Schlich, B., Brauer, J., Wernerus, J., Kowalewski, S.: Direct Model Checking of PLC Programs in IL. Proceedings of DCDS (2009) to appear","DOI":"10.3182\/20090610-3-IT-4004.00010"}],"container-title":["FORMS\/FORMAT 2010"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14261-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T18:32:34Z","timestamp":1675708354000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-14261-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642142604","9783642142611"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14261-1_11","relation":{},"subject":[],"published":{"date-parts":[[2011]]},"assertion":[{"value":"31 January 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}