{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T23:02:56Z","timestamp":1770332576680,"version":"3.49.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031753893","type":"print"},{"value":"9783031753909","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-75390-9_8","type":"book-chapter","created":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T19:02:40Z","timestamp":1729882960000},"page":"112-126","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Model-Based Testing of\u00a0Railway Interlocking Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1315-6990","authenticated-orcid":false,"given":"Alessandro","family":"Cimatti","sequence":"first","affiliation":[]},{"given":"Shaker","family":"Khandaker","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1860-8666","authenticated-orcid":false,"given":"Fitsum","family":"Kifetew","sequence":"additional","affiliation":[]},{"given":"Lorenzo","family":"Leone","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9885-6074","authenticated-orcid":false,"given":"Davide","family":"Prandi","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Scaglione","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5026-7462","authenticated-orcid":false,"given":"Angelo","family":"Susi","sequence":"additional","affiliation":[]},{"given":"Orazio","family":"Turboli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,26]]},"reference":[{"key":"8_CR1","unstructured":"CENELEC - EN 50128 Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems (2011)"},{"key":"8_CR2","doi-asserted-by":"publisher","unstructured":"Amendola, A., et al.: A model-based approach to the design, verification and deployment of railway interlocking system. In: ISoLA (3). Lecture Notes in Computer Science, vol. 12478, pp. 240\u2013254. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-61467-6_16","DOI":"10.1007\/978-3-030-61467-6_16"},{"key":"8_CR3","unstructured":"Arenella, A., et al.: Model-driven design and validation of CBI applications. In: Proceedings of the World Congress on Railways Research, pp. 702\u2013705 (2022)"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10270-009-0130-7","volume":"10","author":"A Cimatti","year":"2011","unstructured":"Cimatti, A., Roveri, M., Susi, A., Tonetta, S.: Formalizing requirements with object models and temporal constraints. Softw. Syst. Model. 10(2), 147\u2013160 (2011)","journal-title":"Softw. Syst. Model."},{"issue":"6","key":"8_CR5","doi-asserted-by":"publisher","first-page":"3684","DOI":"10.1007\/s10664-018-9596-7","volume":"23","author":"A Ferrari","year":"2018","unstructured":"Ferrari, A., et al.: Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. Empir. Softw. Eng. 23(6), 3684\u20133733 (2018)","journal-title":"Empir. Softw. Eng."},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Fischer, T., Dghyam, D.: Formal model validation through acceptance tests. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, pp. 159\u2013169. Springer International Publishing, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-18744-6_10","DOI":"10.1007\/978-3-030-18744-6_10"},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.E.: Testing with model checkers: a survey. Softw. Test. Verification Reliab. 19(3), 215\u2013261 (2009)","journal-title":"Softw. Test. Verification Reliab."},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Griggio, A., Jon\u00e1\u0161, M.: Kratos2: An SMT-based model checker for imperative programs. In: International Conference on Computer Aided Verification, pp. 423\u2013436. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-37709-9_20","DOI":"10.1007\/978-3-031-37709-9_20"},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Haxthausen, A.E., Fantechi, A., Gori, G., Mikkelsen, \u00d3.K., Petersen, S.A.: Automated compositional verification of interlocking systems. In: Milius, B., Collart-Dutilleul, S., Lecomte, T. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, pp. 146\u2013164. Springer Nature Switzerland, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43366-5_9","DOI":"10.1007\/978-3-031-43366-5_9"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Haxthausen, A.E., Peleska, J., Pinger, R.: Applied bounded model checking for interlocking system designs. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) Software Engineering and Formal Methods, pp. 205\u2013220. Springer International Publishing, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-05032-4_16","DOI":"10.1007\/978-3-319-05032-4_16"},{"key":"8_CR11","unstructured":"Hayhurst, K.J., Veerhusen, D.S., Chilenski, J.J., Rierson, L.K.: A practical tutorial on modified condition\/decision coverage, NASA Technical Memorandum NASA\/TM-2001-210876 (2001)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Li, J., Li, Q., Li, J.: The w-model for testing software product lines. In: ISCSCT (1), pp. 690\u2013693. IEEE Computer Society (2008)","DOI":"10.1109\/ISCSCT.2008.34"},{"issue":"4","key":"8_CR13","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/TSE.2017.2777831","volume":"45","author":"A Marchetto","year":"2019","unstructured":"Marchetto, A., Scanniello, G., Susi, A.: Combining code and requirements coverage with execution cost for test suite reduction. IEEE Trans. Softw. Eng. 45(4), 363\u2013390 (2019)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"8_CR14","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: a survey. Softw. Test. Verification Reliab. 14(2), 105\u2013156 (2004)","journal-title":"Softw. Test. Verification Reliab."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Panichella, A., Kifetew, F.M., Tonella, P.: Reformulating branch coverage as a many-objective optimization problem. In: 2015 IEEE 8th International Conference On Software Testing, Verification And Validation (ICST), pp. 1\u201310. IEEE (2015)","DOI":"10.1109\/ICST.2015.7102604"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Peleska, J.: Huang, W.l., H\u00fcbner, F.: A novel approach to HW\/SW integration testing of route-based interlocking system controllers. In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, pp. 32\u201349. Springer International Publishing, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33951-1_3","DOI":"10.1007\/978-3-319-33951-1_3"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Vu, L.H., Haxthausen, A.E., Peleska, J.: A domain-specific language for generic interlocking models and their properties. In: Fantechi, A., Lecomte, T., Romanovsky, A. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, pp. 99\u2013115. Springer International Publishing, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68499-4_7","DOI":"10.1007\/978-3-319-68499-4_7"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Application Areas"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75390-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T19:08:46Z","timestamp":1729883326000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75390-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,26]]},"ISBN":["9783031753893","9783031753909"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75390-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,26]]},"assertion":[{"value":"26 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}