{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T04:31:08Z","timestamp":1770352268590,"version":"3.49.0"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032009418","type":"print"},{"value":"9783032009425","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:00:00Z","timestamp":1756339200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:00:00Z","timestamp":1756339200000},"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-00942-5_9","type":"book-chapter","created":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T12:03:10Z","timestamp":1756296190000},"page":"162-181","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Data-Driven Synthesis of\u00a0Stochastic Fault Trees for\u00a0Proactive Maintenance of\u00a0Railway Vehicles"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5896-4860","authenticated-orcid":false,"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4648-4667","authenticated-orcid":false,"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8482-2612","authenticated-orcid":false,"given":"Gloria","family":"Gori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Vreshtazi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Borselli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Rosaria","family":"Cefaloni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucio","family":"Rota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,28]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-40793-2_27","volume-title":"Computer Safety, Reliability, and Security","author":"F Arnold","year":"2013","unstructured":"Arnold, F., Belinfante, A., Van der Berg, F., Guck, D., Stoelinga, M.: DFTCalc: a tool for efficient fault tree analysis. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 293\u2013301. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40793-2_27"},{"issue":"3","key":"9_CR2","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1287\/opre.37.3.478","volume":"37","author":"F Baccelli","year":"1989","unstructured":"Baccelli, F., Makowski, A.M.: Multidimensional stochastic ordering and associated random variables. Oper. Res. 37(3), 478\u2013487 (1989)","journal-title":"Oper. Res."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Biagi, M., Vicario, E., German, R.: Extending the steady state analysis of hierarchical semi-Markov processes with parallel regions. In: European Workshop on Performance Engineering, pp. 62\u201377 (2018)","DOI":"10.1007\/978-3-030-02227-3_5"},{"issue":"2","key":"9_CR4","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/EMR.2023.3262282","volume":"51","author":"M Binder","year":"2023","unstructured":"Binder, M., Mezhuyev, V., Tschandl, M.: Predictive maintenance for railway domain: a systematic literature review. IEEE Eng. Manage. Rev. 51(2), 120\u2013140 (2023)","journal-title":"IEEE Eng. Manage. Rev."},{"key":"9_CR5","unstructured":"Boudali, H., Nijmeijer, A., Nijmeijer, A., Stoelinga, M.I.A.: DFTSim: a simulation tool for extended dynamic fault trees. In: 42nd Annual Simulation Symposium (ANSS 2009), p.\u00a031. Association for Computing Machinery (2009)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-030-59854-9_17","volume-title":"Quantitative Evaluation of Systems","author":"CE Budde","year":"2020","unstructured":"Budde, C.E., Ruijters, E., Stoelinga, M.: The dynamic fault tree rare event simulator. In: Gribaudo, M., Jansen, D.N., Remke, A. (eds.) QEST 2020. LNCS, vol. 12289, pp. 233\u2013238. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59854-9_17"},{"key":"9_CR7","doi-asserted-by":"publisher","unstructured":"Carnevali, L., Cerboni, S., Montecchi, L., Vicario, E.: Faultflow: an MDE library for dependability evaluation of component-based systems. IEEE Trans. Dependable Secure Comput. 1\u201318 (2025). https:\/\/doi.org\/10.1109\/TDSC.2025.3532340","DOI":"10.1109\/TDSC.2025.3532340"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Cerboni, S., Picano, B., Scommegna, L., Vicario, E.: An observation metamodel for dependability tools. In: 2024 19th European Dependable Computing Conference (EDCC), pp. 169\u2013172. IEEE (2024)","DOI":"10.1109\/EDCC61798.2024.00041"},{"key":"9_CR9","doi-asserted-by":"publisher","unstructured":"Carnevali, L., Ciani, L., Fantechi, A., Gori, G., Papini, M.: An efficient library for reliability block diagram evaluation. Appl. Sci. 11(9) (2021). https:\/\/doi.org\/10.3390\/app11094026","DOI":"10.3390\/app11094026"},{"issue":"12","key":"9_CR10","first-page":"4762","volume":"48","author":"L Carnevali","year":"2021","unstructured":"Carnevali, L., German, R., Santoni, F., Vicario, E.: Compositional analysis of hierarchical UML statecharts. IEEE Trans. Soft. Eng. 48(12), 4762\u20134788 (2021)","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"4","key":"9_CR11","doi-asserted-by":"publisher","first-page":"4298","DOI":"10.1109\/TITS.2025.3530112","volume":"26","author":"L Carnevali","year":"2025","unstructured":"Carnevali, L., Giandomenico, F.D., Fantechi, A., Gnesi, S., Gori, G.: Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review. IEEE Trans. Intell. Transp. Syst. 26(4), 4298\u20134314 (2025). https:\/\/doi.org\/10.1109\/TITS.2025.3530112","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"2","key":"9_CR12","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1109\/TITS.2019.2897583","volume":"21","author":"H Chen","year":"2020","unstructured":"Chen, H., Jiang, B.: A review of fault detection and diagnosis for the traction system in high-speed trains. IEEE Trans. Intell. Transp. Syst. 21(2), 450\u2013465 (2020). https:\/\/doi.org\/10.1109\/TITS.2019.2897583","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"9_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2019.113139","volume":"146","author":"F Chiacchio","year":"2020","unstructured":"Chiacchio, F., Aizpurua, J.I., Compagno, L., D\u2019Urso, D.: Shyftoo, an object-oriented Monte Carlo simulation library for the modeling of stochastic hybrid fault tree automaton. Expert Syst. Appl. 146, 113139 (2020)","journal-title":"Expert Syst. Appl."},{"key":"9_CR14","doi-asserted-by":"publisher","unstructured":"Davari, N., Veloso, B., Ribeiro, R.P., Pereira, P.M., Gama, J.: Predictive maintenance based on anomaly detection using deep learning for air production unit in the railway industry. In: 2021 IEEE 8th International Conference on Data Science and Advanced Analytics (DSAA), pp. 1\u201310 (2021). https:\/\/doi.org\/10.1109\/DSAA53316.2021.9564181","DOI":"10.1109\/DSAA53316.2021.9564181"},{"issue":"10","key":"9_CR15","doi-asserted-by":"publisher","first-page":"956","DOI":"10.1109\/TSE.2002.1041052","volume":"28","author":"DD Deavours","year":"2002","unstructured":"Deavours, D.D., et al.: The Mobius framework and its implementation. IEEE Tran. Soft. Eng. 28(10), 956\u2013969 (2002)","journal-title":"IEEE Tran. Soft. Eng."},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"Ferdous, R., Spagnolo, G., Borselli, A., Rota, L., Ferrari, A.: Identifying maintenance needs with machine learning: a case study in railways. In: 2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW), pp. 22\u201325 (2024). https:\/\/doi.org\/10.1109\/REW61692.2024.00008","DOI":"10.1109\/REW61692.2024.00008"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-319-31559-1_9","volume-title":"Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems","author":"D Homm","year":"2016","unstructured":"Homm, D., German, R.: Analysis of hierarchical semi-Markov processes with parallel regions. In: Remke, A., Haverkort, B.R. (eds.) MMB &DFT 2016. LNCS, vol. 9629, pp. 92\u2013106. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-31559-1_9"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.eswa.2017.01.058","volume":"77","author":"S Kabir","year":"2017","unstructured":"Kabir, S.: An overview of fault tree analysis and its application in model based dependability analysis. Expert Syst. Appl. 77, 114\u2013135 (2017)","journal-title":"Expert Syst. Appl."},{"key":"9_CR19","unstructured":"Librbd Library (2025). https:\/\/github.com\/marcopapini\/librbd"},{"issue":"11","key":"9_CR20","doi-asserted-by":"publisher","first-page":"4693","DOI":"10.1109\/TITS.2019.2945333","volume":"21","author":"J Liu","year":"2020","unstructured":"Liu, J., Zhang, Y., Han, J., He, J., Sun, J., Zhou, T.: Intelligent hazard-risk prediction model for train control systems. IEEE Trans. Intell. Transp. Syst. 21(11), 4693\u20134704 (2020). https:\/\/doi.org\/10.1109\/TITS.2019.2945333","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"12","key":"9_CR21","doi-asserted-by":"publisher","first-page":"10334","DOI":"10.1016\/j.eswa.2011.12.020","volume":"39","author":"G Manno","year":"2012","unstructured":"Manno, G., Chiacchio, F., Compagno, L., D\u2019Urso, D., Trapani, N.: MatCarloRe: an integrated FT and Monte Carlo Simulink tool for the reliability assessment of dynamic fault tree. Expert Syst. Appl. 39(12), 10334\u201310342 (2012)","journal-title":"Expert Syst. Appl."},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1016\/j.ress.2013.09.002","volume":"121","author":"G Manno","year":"2014","unstructured":"Manno, G., Chiacchio, F., Compagno, L., D\u2019Urso, D., Trapani, N.: Conception of repairable dynamic fault trees and resolution by the use of RAATSS, a Matlab\u00ae toolbox based on the ATS formalism. Reliab. Eng. Syst. Saf. 121, 250\u2013262 (2014)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"7","key":"9_CR23","doi-asserted-by":"publisher","first-page":"922","DOI":"10.1016\/j.ress.2007.03.013","volume":"93","author":"S Montani","year":"2008","unstructured":"Montani, S., Portinale, L., Bobbio, A., Codetta-Raiteri, D.: RADYBAN: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks. Reliab. Eng. Syst. Saf. 93(7), 922\u2013932 (2008)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-319-99154-2_19","volume-title":"Quantitative Evaluation of Systems","author":"M Nauta","year":"2018","unstructured":"Nauta, M., Bucur, D., Stoelinga, M.: LIFT: learning fault trees from observational data. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 306\u2013322. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_19"},{"issue":"6","key":"9_CR25","doi-asserted-by":"publisher","first-page":"1211","DOI":"10.1109\/TSE.2019.2917202","volume":"47","author":"M Paolieri","year":"2021","unstructured":"Paolieri, M., Biagi, M., Carnevali, L., Vicario, E.: The ORIS tool: quantitative evaluation of non-Markovian systems. IEEE Trans. Softw. Eng. 47(6), 1211\u20131225 (2021)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Parri, J., Sampietro, S., Vicario, E.: FaultFlow: a tool supporting an MDE approach for timed failure logic analysis. In: European Dependable Computing Conference, pp. 25\u201332. IEEE (2021)","DOI":"10.1109\/EDCC53658.2021.00011"},{"key":"9_CR27","unstructured":"Pyramis Library (2025). https:\/\/github.com\/oris-tool\/pyramis"},{"key":"9_CR28","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/s10994-016-5584-6","volume":"105","author":"RP Ribeiro","year":"2016","unstructured":"Ribeiro, R.P., Pereira, P., Gama, J.: Sequential anomalies: a study in the railway industry. Mach. Learn. 105, 127\u2013153 (2016)","journal-title":"Mach. Learn."},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"issue":"3","key":"9_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1670679.1670680","volume":"42","author":"F Salfner","year":"2010","unstructured":"Salfner, F., Lenk, M., Malek, M.: A survey of online failure prediction methods. ACM Comput. Surv. 42(3), 1\u201342 (2010)","journal-title":"ACM Comput. Surv."},{"key":"9_CR31","unstructured":"Stamatis, D.H.: Failure Mode and Effect Analysis: FMEA from Theory to Execution. Quality Press (2003)"},{"issue":"4","key":"9_CR32","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1530873.1530884","volume":"36","author":"KS Trivedi","year":"2009","unstructured":"Trivedi, K.S., Sahner, R.: Sharpe at the age of twenty two. ACM SIGMETRICS Perform. Eval. Rev. 36(4), 52\u201357 (2009)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"9_CR33","unstructured":"Verbeek, E., Fahland, D.: CPN IDE: an extensible replacement for CPN Tools that uses Access\/CPN. In: International Conference on Process Mining Doctoral Consortium and Demo Track, pp. 29\u201330 (2021)"},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"Volk, M., Sher, F., Katoen, J.P., Stoelinga, M.: SAFEST: fault tree analysis via probabilistic model checking. In: Annual Reliability and Maintainability Symposium (RAMS), pp.\u00a01\u20137. IEEE (2024)","DOI":"10.1109\/RAMS51492.2024.10457719"},{"issue":"12","key":"9_CR35","doi-asserted-by":"publisher","first-page":"9027","DOI":"10.1109\/TII.2022.3164087","volume":"18","author":"Y Wang","year":"2022","unstructured":"Wang, Y., Du, X., Lu, Z., Duan, Q., Wu, J.: Improved LSTM-based time-series anomaly detection in rail transit operation environments. IEEE Trans. Industr. Inf. 18(12), 9027\u20139036 (2022)","journal-title":"IEEE Trans. Industr. Inf."},{"key":"9_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-319-66335-7_19","volume-title":"Quantitative Evaluation of Systems","author":"A Zimmermann","year":"2017","unstructured":"Zimmermann, A.: Modelling and performance evaluation with TimeNET 4.4. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 300\u2013303. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66335-7_19"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-00942-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T04:41:02Z","timestamp":1757479262000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-00942-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,28]]},"ISBN":["9783032009418","9783032009425"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-00942-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,28]]},"assertion":[{"value":"28 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aarhus","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","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":"27 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/FMICS2025.uni-muenster.de","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}