{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T16:25:22Z","timestamp":1764865522492,"version":"3.46.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032107619"},{"type":"electronic","value":"9783032107626"}],"license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-10762-6_2","type":"book-chapter","created":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T16:07:58Z","timestamp":1763222878000},"page":"6-13","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Empirical Formal Methods in\u00a0Railways: Experiences and\u00a0Roadmap"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0636-5663","authenticated-orcid":false,"given":"Alessio","family":"Ferrari","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,16]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-98938-9_2","volume-title":"Integrated Formal Methods","author":"D Basile","year":"2018","unstructured":"Basile, D., et al.: On the industrial uptake of formal methods in the railway domain. In: Furia, C.A., Winter, K. (eds.) IFM 2018. LNCS, vol. 11023, pp. 20\u201329. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98938-9_2"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"762","DOI":"10.1007\/978-3-030-30942-8_46","volume-title":"Formal Methods \u2013 The Next 30 Years","author":"MH ter Beek","year":"2019","unstructured":"ter Beek, M.H., et al.: Adopting formal methods in an industrial setting: the railways case. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) FM 2019. LNCS, vol. 11800, pp. 762\u2013772. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30942-8_46"},{"key":"2_CR3","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Ferrari, A.: Empirical formal methods: guidelines for performing empirical studies on formal methods. Software 1(4) (2022). https:\/\/doi.org\/10.3390\/software1040017","DOI":"10.3390\/software1040017"},{"key":"2_CR4","doi-asserted-by":"publisher","unstructured":"Easterbrook, S., Singer, J., Storey, M.D., Damian, D.E.: Selecting empirical methods for software engineering research. In: Shull, F., Singer, J., Sj\u00f8berg, D.I.K. (eds.) Guide to Advanced Empirical Software Engineering, pp. 285\u2013311. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-1-84800-044-5_11","DOI":"10.1007\/978-1-84800-044-5_11"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Felderer, M., Travassos, G.H. (eds.): Contemporary Empirical Methods in Software Engineering. Springer, Heidelberg (2020). https:\/\/doi.org\/10.1007\/978-3-030-32489-6","DOI":"10.1007\/978-3-030-32489-6"},{"key":"2_CR6","doi-asserted-by":"publisher","unstructured":"Ferrari, A., ter Beek, M.H.: Formal methods in railways: a systematic mapping study. ACM Comput. Surv. 55(4), 69:1 \u2013 69:37 (2023). https:\/\/doi.org\/10.1145\/3520480","DOI":"10.1145\/3520480"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-030-18744-6_15","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"A Ferrari","year":"2019","unstructured":"Ferrari, A., et al.: Survey on formal methods and tools in railways: the ASTRail approach. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds.) RSSRail 2019. LNCS, vol. 11495, pp. 226\u2013241. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-18744-6_15"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-28891-3_5","volume-title":"NASA Formal Methods","author":"A Ferrari","year":"2012","unstructured":"Ferrari, A., Fantechi, A., Gnesi, S.: Lessons learnt from the adoption of formal model-based development. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 24\u201338. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28891-3_5"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MS.2013.44","volume":"30","author":"A Ferrari","year":"2013","unstructured":"Ferrari, A., Fantechi, A., Gnesi, S., Magnani, G.: Model-based development and formal methods in the railway industry. IEEE Softw. 30(3), 28\u201334 (2013). https:\/\/doi.org\/10.1109\/MS.2013.44","journal-title":"IEEE Softw."},{"issue":"7","key":"2_CR10","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1016\/j.scico.2012.04.003","volume":"78","author":"A Ferrari","year":"2013","unstructured":"Ferrari, A., Fantechi, A., Magnani, G., Grasso, D., Tempestini, M.: The Metr\u00f4 Rio case study. Sci. Comput. Program. 78(7), 828\u2013842 (2013). https:\/\/doi.org\/10.1016\/j.scico.2012.04.003","journal-title":"Sci. Comput. Program."},{"issue":"11","key":"2_CR11","doi-asserted-by":"publisher","first-page":"4675","DOI":"10.1109\/TSE.2021.3124677","volume":"48","author":"A Ferrari","year":"2022","unstructured":"Ferrari, A., Mazzanti, F., Basile, D., ter Beek, M.H.: Systematic evaluation and usability analysis of formal methods tools for railway signaling system design. IEEE Trans. Softw. Eng. 48(11), 4675\u20134691 (2022). https:\/\/doi.org\/10.1109\/TSE.2021.3124677","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR12","doi-asserted-by":"publisher","unstructured":"Ferrari, A., Mazzanti, F., Basile, D., ter Beek, M.H., Fantechi, A.: Comparing formal tools for system design: a judgment study. In: Proceedings of the 42nd International Conference on Software Engineering (ICSE\u201920), pp. 62\u201374. ACM (2020). https:\/\/doi.org\/10.1145\/3377811.3380373","DOI":"10.1145\/3377811.3380373"},{"issue":"6","key":"2_CR13","doi-asserted-by":"publisher","first-page":"1737","DOI":"10.1007\/s10270-023-01124-2","volume":"22","author":"M Gleirscher","year":"2023","unstructured":"Gleirscher, M., van de Pol, J., Woodcock, J.: A manifesto for applicable formal methods. Softw. Syst. Model. 22(6), 1737\u20131749 (2023). https:\/\/doi.org\/10.1007\/s10270-023-01124-2","journal-title":"Softw. Syst. Model."},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/978-3-540-71301-2_3","volume-title":"Empirical Software Engineering Issues. Critical Assessment and Future Directions","author":"A H\u00f6fer","year":"2007","unstructured":"H\u00f6fer, A., Tichy, W.F.: Status of empirical research in software engineering. In: Basili, V.R., Rombach, D., Schneider, K., Kitchenham, B., Pfahl, D., Selby, R.W. (eds.) Empirical Software Engineering Issues. Critical Assessment and Future Directions. LNCS, vol. 4336, pp. 10\u201319. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71301-2_3"},{"key":"2_CR15","unstructured":"Huisman, M., Gurov, D., Malkis, A.: Formal Methods: From Academia to Industrial Practice. A Travel Guide (2020)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.infsof.2014.11.005","volume":"60","author":"DR Jeffery","year":"2015","unstructured":"Jeffery, D.R., Staples, M., Andronick, J., Klein, G., Murray, T.C.: An empirical research agenda for understanding formal methods productivity. Inf. Softw. Technol. 60, 102\u2013112 (2015). https:\/\/doi.org\/10.1016\/j.infsof.2014.11.005","journal-title":"Inf. Softw. Technol."},{"issue":"8","key":"2_CR17","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1109\/TSE.2002.1027796","volume":"28","author":"BA Kitchenham","year":"2002","unstructured":"Kitchenham, B.A., et al.: Preliminary guidelines for empirical research in software engineering. IEEE Trans. Softw. Eng. 28(8), 721\u2013734 (2002). https:\/\/doi.org\/10.1109\/TSE.2002.1027796","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR18","unstructured":"Ralph, P. (ed.): Empirical Standards for Software Engineering Research (2020)"},{"key":"2_CR19","doi-asserted-by":"publisher","unstructured":"Shull, F., Singer, J., Sj\u00f8berg, D.I.K. (eds.): Guide to Advanced Empirical Software Engineering. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-1-84800-044-5","DOI":"10.1007\/978-1-84800-044-5"},{"issue":"3","key":"2_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3241743","volume":"27","author":"KJ Stol","year":"2018","unstructured":"Stol, K.J., Fitzgerald, B.: The ABC of software engineering research. ACM Trans. Softw. Eng. Methodol. 27(3), 1\u201351 (2018). https:\/\/doi.org\/10.1145\/3241743","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"2_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29044-2"},{"issue":"5","key":"2_CR22","doi-asserted-by":"publisher","first-page":"876","DOI":"10.1007\/s11390-018-1864-x","volume":"33","author":"L Zhang","year":"2018","unstructured":"Zhang, L., Tian, J.-H., Jiang, J., Liu, Y.-J., Pu, M.-Y., Yue, T.: Empirical research in software engineering\u2014a literature survey. J. Comput. Sci. Technol. 33(5), 876\u2013899 (2018). https:\/\/doi.org\/10.1007\/s11390-018-1864-x","journal-title":"J. Comput. Sci. Technol."}],"container-title":["Lecture Notes in Computer Science","Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-10762-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T16:23:33Z","timestamp":1764865413000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-10762-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"ISBN":["9783032107619","9783032107626"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10762-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,11,16]]},"assertion":[{"value":"16 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RSSRail","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reliability, Safety, and Security of Railway Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pisa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rssrail2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rssrail2025.isti.cnr.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}