{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:58:16Z","timestamp":1725803896351},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319107011"},{"type":"electronic","value":"9783319107028"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10702-8_7","type":"book-chapter","created":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T12:19:16Z","timestamp":1409573956000},"page":"94-108","source":"Crossref","is-referenced-by-count":5,"title":["On the Validation of an Interlocking System by Model-Checking"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Bonacchi","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-642-13414-2_10","volume-title":"Coordination Models and Languages","author":"S. Vanit-Anunchai","year":"2010","unstructured":"Vanit-Anunchai, S.: Modelling Railway Interlocking Tables Using Coloured Petri Nets. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol.\u00a06116, pp. 137\u2013151. Springer, Heidelberg (2010)"},{"key":"7_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"},{"key":"7_CR3","unstructured":"Berger, J., Middelraad, P., Smith, A.J.: EURIS, European railway interlocking specification. In: Proceedings of IRSE 1993, pp. 70\u201382. Institution of Railway Signal Engineers (1993)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Bernardeschi, C., Fantechi, A., Gnesi, S., Larosa, S., Mongardi, G., Romano, D.: A Formal Verification Environment for Railway Signaling System Design. Formal Methods in System Design, 139\u2013161 (1998)","DOI":"10.1023\/A:1008645826258"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"A. Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic Model Checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 193\u2013207. Springer, Heidelberg (1999)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-319-05032-4_18","volume-title":"Software Engineering and Formal Methods","author":"A. Bonacchi","year":"2014","unstructured":"Bonacchi, A., Fantechi, A., Bacherini, S., Tempestini, M., Cipriani, L.: Validation of Railway Interlocking Systems by Formal Verification, A Case Study. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013 Collocated Workshops. LNCS, vol.\u00a08368, pp. 237\u2013252. Springer, Heidelberg (2014)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/10722167_15","volume-title":"Computer Aided Verification","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-Guided Abstraction Refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 154\u2013169. Springer, Heidelberg (2000)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-3-642-34032-1_26","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","author":"A. Fantechi","year":"2012","unstructured":"Fantechi, A.: Distributing the Challenge of Model Checking Interlocking Control Tables. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 276\u2013289. Springer, Heidelberg (2012)"},{"key":"7_CR9","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":"7_CR10","unstructured":"Groote, J.F., van Vlijmen, S., Koorn, J.: The Safety Guaranteeing System at Station Hoorn-Kersenboogerd. In: Logic Group Preprint Series 121. Utrecht University (1995)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-319-05032-4_16","volume-title":"Software Engineering and Formal Methods","author":"A.E. 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 Collocated Workshops. LNCS, vol.\u00a08368, pp. 205\u2013220. Springer, Heidelberg (2014)"},{"key":"7_CR12","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)"},{"issue":"2-3","key":"7_CR13","first-page":"241","volume":"3","author":"A.E. Haxthausen","year":"2009","unstructured":"Haxthausen, A.E.: Developing a domain model for relay circuits. Int. J. Software and Informatics\u00a03(2-3), 241\u2013272 (2009)","journal-title":"Int. J. Software and Informatics"},{"key":"7_CR14","unstructured":"FP7 Project INESS - Deliverable D.1.5 Report on translation of requirements from text to UML (2009)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-319-05032-4_19","volume-title":"Software Engineering and Formal Methods","author":"P. James","year":"2014","unstructured":"James, P., Lawrence, A., Moller, F., Roggenbach, M., Seisenberger, M., Setzer, A., Kanso, K., Chadwick, S.: Verification of Solid State Interlocking Programs. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013 Collocated Workshops. LNCS, vol.\u00a08368, pp. 253\u2013268. Springer, Heidelberg (2014)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-319-05032-4_15","volume-title":"Software Engineering and Formal Methods","author":"P. James","year":"2014","unstructured":"James, P., Moller, F., Nguyen, H.N., Roggenbach, M., Schneider, S., Treharne, H., Trumble, M., Williams, D.: Verification of Scheme Plans using CSP||B. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013 Collocated Workshops. LNCS, vol.\u00a08368, pp. 189\u2013204. Springer, Heidelberg (2014)"},{"key":"7_CR17","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)"},{"issue":"2","key":"7_CR18","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. Electron. Notes Theor. Comput. Sci.\u00a0250(2), 19\u201331 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-39611-3_20","volume-title":"Hardware and Software: Verification and Testing","author":"F. Moller","year":"2013","unstructured":"Moller, F., Nguyen, H.N., Roggenbach, M., Schneider, S., Treharne, H.: Defining and model checking abstractions of complex railway models using CSP||B. In: Biere, A., Nahir, A., Vos, T. (eds.) HVC 2012. LNCS, vol.\u00a07857, pp. 193\u2013208. Springer, Heidelberg (2013)"},{"key":"7_CR20","unstructured":"Simulink, http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"7_CR21","unstructured":"Winter, K., Robinson, N.J.: Modelling Large Railway Interlockings and Model Checking Small Ones. In: Twenty-Fifth (ACSC 2003), pp. 309\u2013316 (2003)"},{"key":"7_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)"},{"key":"7_CR23","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"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10702-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T23:24:54Z","timestamp":1598225094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10702-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319107011","9783319107028"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10702-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}