{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T15:54:34Z","timestamp":1791129274225,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642340314","type":"print"},{"value":"9783642340321","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34032-1_26","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T20:44:41Z","timestamp":1348605881000},"page":"276-289","source":"Crossref","is-referenced-by-count":17,"title":["Distributing the Challenge of Model Checking Interlocking Control Tables"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Fantechi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Anunchai, S.V.: Verification of Railway Interlocking Tables using Coloured Pertri Nets. In: Proceedings of the 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (2009)"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Banci, M., Fantechi, A.: Instantiating Generic Charts for Railway Interlocking Systems. In: Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005), Lisbon, Portugal, September 5-6 (2005)","DOI":"10.1145\/1081180.1081197"},{"issue":"2","key":"26_CR3","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"M.H. Beek ter","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Science of Computer Programming\u00a076(2), 119\u2013135 (2011)","journal-title":"Science of Computer Programming"},{"key":"26_CR4","unstructured":"Berger, J., Middelraad, P., Smith, A.J.: EURIS, European railway interlocking specification. In: Proceedings of the Institution of Railway Signal Engineers, IRSE 1993, pp. 70\u201382 (1993)"},{"key":"26_CR5","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\u00a010, 338\u2013360 (1998)","journal-title":"Formal Aspects of Computing"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"26_CR7","unstructured":"Eriksson, L.: Use of Domain Theories in Applied Formal Methods. Technical Report, Uppsala University, Dept. of Information Technology, 2006-029 (2006)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Ferrari, A., Magnani, G., Grasso, D., Fantechi, A.: Model checking interlocking control tables. In: Proc. 8th FORMS\/FORMAT Symposium, pp. 98\u2013107 (2010)","DOI":"10.1007\/978-3-642-14261-1_11"},{"key":"26_CR9","unstructured":"Fokkink, W., Hollingshead, P.: Verification of Interlockings: from Control Tables to Ladder Logic Diagrams. In: 3rd FMICS Workshop, pp. 171\u2013185 (1998)"},{"key":"26_CR10","unstructured":"Hansen, K.M.: Formalizing Railway Interlocking Systems. In: Proceedings of the 2nd FMERail Workshop (1998)"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-12566-9_8","volume-title":"Foundations of Computer Software. Future Trends and Techniques for Development","author":"A.E. Haxthausen","year":"2010","unstructured":"Haxthausen, A.E., Le Bliguet, M., Kj\u00e6r, A.A.: Modelling and Verification of Relay Interlocking Systems. In: Choppy, C., Sokolsky, O. (eds.) Monterey Workshop 2008. LNCS, vol.\u00a06028, pp. 141\u2013153. Springer, Heidelberg (2010)"},{"key":"26_CR12","unstructured":"Haxthausen, A.E.: Developing a Domain Model for Relay Circuits. International Journal of Software and Informatics, 241\u2013272 (2009)"},{"key":"26_CR13","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional (2003)"},{"key":"26_CR14","unstructured":"Jung, B.: Die Methode und Werkzeuge GRACE. In: Formale Techniken f\u00fcr die Eisenbahn-sicherung (FORMS 2000), Fortschritt-Berichte VDI, Reihe 12, Nr. 441. VDI Verlag (2000)"},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2009.08.015","volume":"250","author":"K. Kanso","year":"2009","unstructured":"Kanso, K., Moller, F., Setzer, A.: Automated Verification of Signalling Principles in Railway Interlocking Systems. Electronic Notes in Theoretical Computer Science (ENTCS)\u00a0250, 19\u201331 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science (ENTCS)"},{"key":"26_CR16","unstructured":"Le Bouar, P.: Interlocking SNCF functional requirements description. Euro-Interlocking Project, Paris (May 2003)"},{"key":"26_CR17","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\u00a04, 103\u2013110 (2009)","journal-title":"Transport Problems : an International Scientific Journal"},{"key":"26_CR18","unstructured":"Mota, J.M.: Safety formal verification of metro railway signalling systems. Presentation at I-Day, FM 2011, Limerick, Ireland (June 2011)"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Pavlovic, O., Ehrich, H.: Model Checking PLC Software Written in Function Block Diagram. In: 3rd International Conference on Software Testing, Verification and Validation, pp. 439\u2013448 (2010)","DOI":"10.1109\/ICST.2010.10"},{"key":"26_CR20","unstructured":"Simpson, A.: Model Checking for Interlocking Safety. In: Proceedings of the 2nd FMERail Seminar (1998)"},{"key":"26_CR21","unstructured":"Tombs, D., Robinson, N., Nikandros, G.: Signalling Control Table Generation and Verification. In: Proceedings of the Conference on Railway Engineering (2002)"},{"key":"26_CR22","unstructured":"Winter, K.: Model Checking Railway Interlocking Systems. In: Proceedings of the 25th Australasian Conference on Computer Science, vol.\u00a04, pp. 303\u2013310 (2002)"},{"key":"26_CR23","unstructured":"Winter, K., Robinson, N.J.: Modeling Large Railway Interlockings and Model Checking Small Ones. In: Proceedings of the 26th Australasian Computer Science Conference, vol.\u00a035, pp. 309\u2013316 (2003)"},{"key":"26_CR24","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)"},{"key":"26_CR25","doi-asserted-by":"crossref","unstructured":"Winter, K.: Symbolic Model Checking for Interlocking Systems. In: Flammini, F. (ed.) Railway Safety, Reliability, and Security: Technologies and Systems Engineering. IGI Global (May 2012)","DOI":"10.4018\/978-1-4666-1643-1.ch013"},{"key":"26_CR26","unstructured":"FP7 Project INESS - Deliverable D.1.5 Report on translation of requirements from text to UML (2009)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34032-1_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:41:39Z","timestamp":1620117699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34032-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340314","9783642340321"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34032-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}