{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T19:28:02Z","timestamp":1770319682399,"version":"3.49.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032124838","type":"print"},{"value":"9783032124845","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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-12484-5_1","type":"book-chapter","created":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T05:48:09Z","timestamp":1770270489000},"page":"3-12","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Scientist Steadily Advancing Along the\u00a0Tracks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8749-1356","authenticated-orcid":false,"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4691-7570","authenticated-orcid":false,"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6734-1318","authenticated-orcid":false,"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,2,6]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Astesiano, E., Reggio, G.: The SMoLCS approach to the formal semantics of programming languages - a tutorial introduction. In: Habermann, A.N., Montanari, U. (eds.) Software Development and Ada, CRAI Workshop on Software Factories and Ada. Lecture Notes in Computer Science, vol.\u00a0275, pp. 81\u2013116. Springer (1986)","DOI":"10.1007\/3-540-18341-8_18"},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"Bertolino, A., Fantechi, A., Gnesi, S., Lami, G.: Product line use cases: scenario-based specification and testing of requirements. In: K\u00e4k\u00f6la, T., Duenas, J.C. (eds.) Software Product Lines, pp. 425\u2013445. Springer (2006). https:\/\/doi.org\/10.1007\/978-3-540-33253-4_11","DOI":"10.1007\/978-3-540-33253-4_11"},{"key":"1_CR3","unstructured":"Bertolino, A., Fantechi, A., Gnesi, S., Lami, G., Maccari, A.: Use case description of requirements for product lines. In: International Workshop on Requirements Engineering for Product Lines (REPL\u201902), pp. 12\u201318. IEEE (2002)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bonacchi, A., Fantechi, A.: Validation of interlocking systems by testing their models. In: 2014 9th International Conference on the Quality of Information and Communications Technology, pp. 226\u2013229. IEEE (2014)","DOI":"10.1109\/QUATIC.2014.37"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.scico.2016.04.004","volume":"128","author":"A Bonacchi","year":"2016","unstructured":"Bonacchi, A., Fantechi, A., Bacherini, S., Tempestini, M.: Validation process for railway interlocking systems. Sci. Comput. Program. 128, 2\u201321 (2016)","journal-title":"Sci. Comput. Program."},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Bonacchi, A., Fantechi, A., Bacherini, S., Tempestini, M., Cipriani, L.: Validation of railway interlocking systems by formal verification, a case study. In: Revised Selected Papers of the SEFM 2013 Collocated Workshops on Software Engineering and Formal Methods vol. 8368, pp. 237\u2013252. Springer-Verlag (2013). https:\/\/doi.org\/10.1007\/978-3-319-05032-4_18","DOI":"10.1007\/978-3-319-05032-4_18"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/3670795","volume":"37(1), 6: 1\u20136","author":"M Broy","year":"2025","unstructured":"Broy, M., et al.: Does every computer scientist need to know formal methods? Formal Aspects Comput. 37(1), 6: 1\u20136, 17 (2025). https:\/\/doi.org\/10.1145\/3670795","journal-title":"Formal Aspects Comput."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Ciani, L., Fantechi, A., Papini, M.: A novel layered approach to evaluate reliability of complex systems. In: In: 2019 IEEE 5th International forum on Research and Technology for Society and Industry (RTSI), pp. 291\u2013295. IEEE (2019)","DOI":"10.1109\/RTSI.2019.8895568"},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Kozen, D. (ed.) Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981. Lecture Notes in Computer Science, vol.\u00a0131, pp. 52\u201371. Springer (1981). https:\/\/doi.org\/10.1007\/BFB0025774","DOI":"10.1007\/BFB0025774"},{"key":"1_CR10","unstructured":"Cockburn, A., Cockburn, L.: Writing effective use cases. Pearson Education India (2008)"},{"key":"1_CR11","unstructured":"De Nicola, R.: Net theory and application - response. In: Kugler, H. (ed.) Information Processing 86, Proceedings of the IFIP 10th World Computer Congress, Dublin, Ireland, September 1-5, 1986, pp. 833\u2013836. North-Holland\/IFIP (1986)"},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"De Nicola, R., Fantechi, A., Gnesi, S., Larosa, S., Ristori, G.: Verifying hardware components within JACK. In: Camurati, P., Eveking, H. (eds.) Correct Hardware Design and Verification Methods - CHARME \u201995. Lecture Notes in Computer Science, vol.\u00a0987, pp. 246\u2013260. Springer (1995). https:\/\/doi.org\/10.1007\/3-540-60385-9_15","DOI":"10.1007\/3-540-60385-9_15"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"De Nicola, R., Fantechi, A., Gnesi, S., Ristori, G.: An action based framework for verifying logical and behavioural properties of concurrent systems. In: Larsen, K.G., Skou, A. (eds.) Computer Aided Verification, 3rd International Workshop, CAV \u201991. Lecture Notes in Computer Science, vol.\u00a0575, pp. 37\u201347. Springer (1991), https:\/\/doi.org\/10.1007\/3-540-55179-4_5","DOI":"10.1007\/3-540-55179-4_5"},{"issue":"7","key":"1_CR14","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1016\/0169-7552(93)90047-8","volume":"25","author":"R De Nicola","year":"1993","unstructured":"De Nicola, R., Fantechi, A., Gnesi, S., Ristori, G.: An action-based framework for verifying logical and behavioural properties of concurrent systems. Comput. Networks ISDN Syst. 25(7), 761\u2013778 (1993). https:\/\/doi.org\/10.1016\/0169-7552(93)90047-8","journal-title":"Comput. Networks ISDN Syst."},{"key":"1_CR15","doi-asserted-by":"publisher","unstructured":"Fantechi, A., Gnesi, S., Mazzanti, F., Pugliese, R., Tronci, E.: A symbolic model checker for ACTL. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) Applied Formal Methods \u2014 FM-Trends 98, pp. 228\u2013242. Springer (1999). https:\/\/doi.org\/10.1007\/3-540-48257-1_14","DOI":"10.1007\/3-540-48257-1_14"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Fantechi, A.: Formal techniques for a data-driven certification of advanced railway signalling systems. In: International Workshop on Automated Verification of Critical Systems, pp. 231\u2013245. Springer (2016)","DOI":"10.1007\/978-3-319-45943-1_16"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Fantechi, A., Gallo, F.: Portable Ada programming system: a proposed run-time architecture. In: Fisher, G.A. (ed.) Proceedings of the AdaTEC Conference on Ada, 1982, pp. 48\u201356. ACM (1982). https:\/\/doi.org\/10.1145\/3304133.3304140","DOI":"10.1145\/3304133.3304140"},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Fantechi, A., Gnesi, S., Inverardi, P., Montanari, U.: An executon environment for the formal definiton of Ada. In: Nichols, H.K., Simpson, D. (eds.) ESEC \u201987, 1st European Software Engineering Conference. Lecture Notes in Computer Science, vol.\u00a0289, pp. 327\u2013335. Springer (1987). https:\/\/doi.org\/10.1007\/BFb0022125","DOI":"10.1007\/BFb0022125"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gori, G., Papini, M.: Software rejuvenation and runtime reliability monitoring. In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 162\u2013169. IEEE (2022)","DOI":"10.1109\/ISSREW55968.2022.00063"},{"issue":"8","key":"1_CR20","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1002\/j.1097-024X.1986.tb00002.x","volume":"16","author":"A Fantechi","year":"1986","unstructured":"Fantechi, A., Inverardi, P., Lijtmaer, N.: Using high level languages for local computer network communication: a case study in Ada. Softw. Pract. Exp. 16(8), 701\u2013717 (1986)","journal-title":"Softw. Pract. Exp."},{"issue":"3","key":"1_CR21","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)","journal-title":"IEEE Softw."},{"key":"1_CR22","doi-asserted-by":"publisher","unstructured":"Gadducci, F.: Ugo Montanari and friends. In: Degano, P., De\u00a0Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. Lecture Notes in Computer Science, vol.\u00a05065, pp. 743\u2013746. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-540-68679-8_45","DOI":"10.1007\/978-3-540-68679-8_45"},{"key":"1_CR23","unstructured":"Genrich, H.J.: Net theory and application (invited paper). In: Kugler, H. (ed.) Information Processing 86, Proceedings of the IFIP 10th World Computer Congress, Dublin, Ireland, September 1-5, 1986, pp. 823\u2013832. North-Holland\/IFIP (1986)"},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Milner, R.: A Calculus of Communicating Systems, Lecture Notes in Computer Science. Springer 92 (1980) https:\/\/doi.org\/10.1007\/3-540-10235-3","DOI":"10.1007\/3-540-10235-3"}],"container-title":["Lecture Notes in Computer Science","Journeys Between Formal Methods and the Railway Industry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-12484-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T05:48:12Z","timestamp":1770270492000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-12484-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032124838","9783032124845"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-12484-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"6 February 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}