{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T03:26:25Z","timestamp":1770348385597,"version":"3.49.0"},"publisher-location":"Cham","reference-count":60,"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_13","type":"book-chapter","created":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T19:02:40Z","timestamp":1729882960000},"page":"190-207","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["An Integrated Perspective on\u00a0the\u00a0Evaluation of\u00a0Complex Railway Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7196-6609","authenticated-orcid":false,"given":"Davide","family":"Basile","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2930-6367","authenticated-orcid":false,"given":"Maurice H.","family":"ter Beek","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5896-4860","authenticated-orcid":false,"given":"Laura","family":"Carnevali","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0889-1990","authenticated-orcid":false,"given":"Silvano","family":"Chiaradonna","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8760-7299","authenticated-orcid":false,"given":"Felicita","family":"Di Giandomenico","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4648-4667","authenticated-orcid":false,"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8482-2612","authenticated-orcid":false,"given":"Gloria","family":"Gori","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,26]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1\u20136:39 (2018). https:\/\/doi.org\/10.1145\/3158668","DOI":"10.1145\/3158668"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J., Randell, B., Landwehr, C.E.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1(1), 11\u201333 (2004). https:\/\/doi.org\/10.1109\/TDSC.2004.2","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"13_CR3","doi-asserted-by":"publisher","unstructured":"Basile, D., ter Beek, M.H.: Contract automata library. Sci. Comput. Program. 221 (2022). https:\/\/doi.org\/10.1016\/j.scico.2022.102841, https:\/\/github.com\/contractautomataproject\/ContractAutomataLib","DOI":"10.1016\/j.scico.2022.102841"},{"key":"13_CR4","doi-asserted-by":"publisher","unstructured":"Basile, D., ter Beek, M.H.: A runtime environment for contract automata. In: Chechik, M., Katoen, J., Leucker, M. (eds.) Formal Methods. FM 2023. LNCS, vol. 14000, pp. 550\u2013567. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-27481-7_31","DOI":"10.1007\/978-3-031-27481-7_31"},{"key":"13_CR5","doi-asserted-by":"publisher","unstructured":"Basile, D., ter Beek, M.H.: Advancing orchestration synthesis for contract automata. J. Log. Algebr. Methods Program. 141 (2024). https:\/\/doi.org\/10.1016\/j.jlamp.2024.100998","DOI":"10.1016\/j.jlamp.2024.100998"},{"key":"13_CR6","doi-asserted-by":"publisher","unstructured":"Basile, D., et al.: Controller synthesis of service contracts with variability. Sci. Comput. Program. 187 (2020). https:\/\/doi.org\/10.1016\/j.scico.2019.102344","DOI":"10.1016\/j.scico.2019.102344"},{"key":"13_CR7","doi-asserted-by":"publisher","unstructured":"Basile, D., ter Beek, M.H., Di Giandomenico, F., Fantechi, A., Gnesi, S., Spagnolo, G.O.: 30 years of simulation-based quantitative analysis tools: a comparison experiment between M\u00f6bius and Uppaal SMC. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. ISoLA 2020. LNCS, vol. 12476, pp. 368\u2013384. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-61362-4_21","DOI":"10.1007\/978-3-030-61362-4_21"},{"key":"13_CR8","doi-asserted-by":"publisher","unstructured":"Basile, D., ter Beek, M.H., Pugliese, R.: Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services. Log. Methods Comput. Sci. 16(2), 9:1\u20139:29 (2020). https:\/\/doi.org\/10.23638\/LMCS-16(2:9)2020","DOI":"10.23638\/LMCS-16(2:9)2020"},{"key":"13_CR9","doi-asserted-by":"publisher","unstructured":"Basile, D., Di Giandomenico, F., Gnesi, S.: Statistical model checking of an energy-saving cyber-physical system in the railway domain. In: Proceedings of the 32nd Symposium on Applied Computing (SAC\u201917), pp. 1356\u20131363. ACM (2017). https:\/\/doi.org\/10.1145\/3019612.3019824","DOI":"10.1145\/3019612.3019824"},{"issue":"6","key":"13_CR10","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1007\/s00165-021-00556-1","volume":"33","author":"D Basile","year":"2021","unstructured":"Basile, D., Fantechi, A., Rucher, L., Mand\u00f2, G.: Analysing an autonomous tramway positioning system with the UPPAAL statistical model checker. Form. Asp. Comput. 33(6), 957\u2013987 (2021). https:\/\/doi.org\/10.1007\/s00165-021-00556-1","journal-title":"Form. Asp. Comput."},{"key":"13_CR11","doi-asserted-by":"publisher","unstructured":"Basile, D., Mazzanti, F., Ferrari, A.: Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx enterprise architect. In: Cimatti, A., Titolo, L. (eds.) Formal Methods for Industrial Critical Systems. FMICS 2023. LNCS, vol. 14290, pp. 1\u201321. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-43681-9_1","DOI":"10.1007\/978-3-031-43681-9_1"},{"key":"13_CR12","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119\u2013135 (2011). https:\/\/doi.org\/10.1016\/j.scico.2010.07.002","DOI":"10.1016\/j.scico.2010.07.002"},{"key":"13_CR13","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H.: Formal methods and tools applied in the railway domain. In: Bonfanti, S., Gargantini, A., Leuschel, M., Riccobene, E., Scandurra, P. (eds.) Rigorous State-Based Methods. ABZ 2024. LNCS, vol. 14759, pp. 3\u201321. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-63790-2_1","DOI":"10.1007\/978-3-031-63790-2_1"},{"key":"13_CR14","doi-asserted-by":"publisher","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.) Formal Methods \u2013 The Next 30 Years. FM 2019. LNCS, vol. 11800, pp. 762\u2013772. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30942-8_46","DOI":"10.1007\/978-3-030-30942-8_46"},{"key":"13_CR15","doi-asserted-by":"publisher","unstructured":"Belli, D., et al.: The 4SECURail case study on rigorous standard interface specifications. In: Cimatti, A., Titolo, L. (eds.) Formal Methods for Industrial Critical Systems. FMICS 2023. LNCS, vol. 14290, pp. 22\u201339. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43681-9_2","DOI":"10.1007\/978-3-031-43681-9_2"},{"key":"13_CR16","doi-asserted-by":"publisher","unstructured":"Boardman, J.T., Sauser, B.J.: System of Systems\u00a0\u2013 the meaning of of. In: Proceedings of the 1st International Conference on System of Systems Engineering (SoSE\u201906), pp.\u00a01\u20136. IEEE (2006). https:\/\/doi.org\/10.1109\/SYSOSE.2006.1652284","DOI":"10.1109\/SYSOSE.2006.1652284"},{"key":"13_CR17","doi-asserted-by":"publisher","unstructured":"Bressan, L., de\u00a0Oliveira, A.L., Montecchi, L., Gallina, B.: A systematic process for applying the CHESS methodology in the creation of certifiable evidence. In: Proceedings of the 14th European Dependable Computing Conference (EDCC\u201918), pp. 49\u201356. IEEE (2018). https:\/\/doi.org\/10.1109\/EDCC.2018.00019","DOI":"10.1109\/EDCC.2018.00019"},{"key":"13_CR18","unstructured":"Carnevali, L., Cerboni, S.: FaultFlow library (2023). https:\/\/github.com\/oris-tool\/faultflow"},{"key":"13_CR19","doi-asserted-by":"publisher","unstructured":"Carnevali, L., Cerboni, S., Picano, B., Scommegna, L., Vicario, E.: An observation metamodel for dependability tools. In: Proceedings of the 19th European Dependable Computing Conference (EDCC\u201924), pp. 169\u2013172. IEEE (2024). https:\/\/doi.org\/10.1109\/EDCC61798.2024.00041","DOI":"10.1109\/EDCC61798.2024.00041"},{"key":"13_CR20","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), 4026:2\u20134026:24 (2021). https:\/\/doi.org\/10.3390\/app11094026","DOI":"10.3390\/app11094026"},{"issue":"12","key":"13_CR21","doi-asserted-by":"publisher","first-page":"4762","DOI":"10.1109\/TSE.2021.3125720","volume":"48","author":"L Carnevali","year":"2022","unstructured":"Carnevali, L., German, R., Santoni, F., Vicario, E.: Compositional analysis of hierarchical UML Statecharts. IEEE Trans. Softw. Eng. 48(12), 4762\u20134788 (2022). https:\/\/doi.org\/10.1109\/TSE.2021.3125720","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR22","doi-asserted-by":"publisher","unstructured":"Carnevali, L., Ridi, L., Vicario, E.: A framework for simulation and symbolic state space analysis of non-markovian models. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 409\u2013422. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-24270-0_30","DOI":"10.1007\/978-3-642-24270-0_30"},{"key":"13_CR23","doi-asserted-by":"publisher","unstructured":"Chiaradonna, S., Di Giandomenico, F., Masetti, G.: Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system. In: Proceedings of the 25th Pacific Rim International Symposium on Dependable Computing (PRDC\u201920), pp. 150\u2013159. IEEE (2020). https:\/\/doi.org\/10.1109\/PRDC50213.2020.00026","DOI":"10.1109\/PRDC50213.2020.00026"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"100519","DOI":"10.1016\/J.SUSCOM.2021.100519","volume":"30","author":"S Chiaradonna","year":"2021","unstructured":"Chiaradonna, S., Masetti, G., Di Giandomenico, F., Righetti, F., Vallati, C.: Enhancing sustainability of the railway infrastructure: trading energy saving and unavailability through efficient switch heating policies. Sustain. Comput. Inform. Syst. 30, 100519 (2021). https:\/\/doi.org\/10.1016\/J.SUSCOM.2021.100519","journal-title":"Sustain. Comput. Inform. Syst."},{"issue":"7","key":"13_CR25","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/32.297939","volume":"20","author":"G Ciardo","year":"1994","unstructured":"Ciardo, G., German, R., Lindemann, C.: A characterization of the Stochastic process underlying a stochastic Petri net. IEEE Trans. Softw. Eng. 20(7), 506\u2013515 (1994). https:\/\/doi.org\/10.1109\/32.297939","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR26","doi-asserted-by":"publisher","unstructured":"Cicchetti, A., et al.: CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems. In: Proceedings of the 27th International Conference on Automated Software Engineering (ASE\u201912), pp. 362\u2013365. ACM (2012). https:\/\/doi.org\/10.1145\/2351676.2351748","DOI":"10.1145\/2351676.2351748"},{"key":"13_CR27","doi-asserted-by":"publisher","unstructured":"Courtney, T., Gaonkar, S., Keefe, K., Rozier, E., Sanders, W.H.: M\u00f6bius\u00a02.3: an extensible tool for dependability, security, and performance evaluation of large and complex system models. In: Proceedings of the 39th International Conference on Dependable Systems and Networks (DSN\u201909), pp. 353\u2013358. IEEE (2009). https:\/\/doi.org\/10.1109\/DSN.2009.5270318","DOI":"10.1109\/DSN.2009.5270318"},{"issue":"1\u20132","key":"13_CR28","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1008330914786","volume":"11","author":"R David","year":"2001","unstructured":"David, R., Alla, H.: On hybrid petri nets. Discret. Event Dyn. Syst. 11(1\u20132), 9\u201340 (2001). https:\/\/doi.org\/10.1023\/A:1008330914786","journal-title":"Discret. Event Dyn. Syst."},{"key":"13_CR29","unstructured":"Distefano, S., Puliafito, A.: Dynamic reliability block diagrams: overview of a methodology. In: Aven, T., Vinnem, J.E. (eds.) Risk, Reliability and Societal Safety: Proceedings of the 18th European Safety and Reliability Conference (ESREL\u201907), pp. 1059\u20131068. Taylor and Francis (2007)"},{"key":"13_CR30","doi-asserted-by":"publisher","unstructured":"Fantechi, A., Haxthausen, A.E.: Safety interlocking as a distributed mutual exclusion problem. In: Howar, F., Barnat, J. (eds.) FMICS 2018. LNCS, vol. 11119, pp. 52\u201366. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-00244-2_4","DOI":"10.1007\/978-3-030-00244-2_4"},{"key":"13_CR31","doi-asserted-by":"publisher","unstructured":"Fantechi, A., Haxthausen, A.E., Nielsen, M.B.R.: Model checking geographically distributed interlocking systems using UMC. In: Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP\u201917), pp. 278\u2013286. IEEE (2017). https:\/\/doi.org\/10.1109\/PDP.2017.66","DOI":"10.1109\/PDP.2017.66"},{"key":"13_CR32","doi-asserted-by":"publisher","unstructured":"Feiler, P.H., Lewis, B.A., Vestal, S.: The SAE architecture analysis and design language (AADL): a standard for engineering performance critical systems. In: Proceedings of the Joint Conference on Computer Aided Control System Design, International Conference on Control Applications, and International Symposium on Intelligent Control (CACSD-CCA-ISIC\u201906), pp. 1206\u20131211. IEEE (2006). https:\/\/doi.org\/10.1109\/CACSD-CCA-ISIC.2006.4776814","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776814"},{"key":"13_CR33","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\u201369:37 (2023). https:\/\/doi.org\/10.1145\/3520480","DOI":"10.1145\/3520480"},{"issue":"11","key":"13_CR34","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":"13_CR35","doi-asserted-by":"publisher","unstructured":"Gay, S., Ravara, A. (eds.): Behavioural Types: from Theory to Tools. River (2017). https:\/\/doi.org\/10.13052\/rp-9788793519817","DOI":"10.13052\/rp-9788793519817"},{"key":"13_CR36","doi-asserted-by":"publisher","unstructured":"Ghosh, R., Naik, V.K., Trivedi, K.S.: Power-performance trade-offs in IaaS cloud: a scalable analytic approach. In: Proceedings of the 41st International Conference on Dependable Systems and Networks Workshops (DSN-W\u201911), pp. 152\u2013157. IEEE (2011). https:\/\/doi.org\/10.1109\/DSNW.2011.5958802","DOI":"10.1109\/DSNW.2011.5958802"},{"issue":"3","key":"13_CR37","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987). https:\/\/doi.org\/10.1016\/0167-6423(87)90035-9","journal-title":"Sci. Comput. Program."},{"key":"13_CR38","unstructured":"Haverkort, B.R., Postema, B.: Towards simple models for energy-performance trade-offs in data centers. In: Proceedings of the International Workshops SOCNET and FGENET (MMB\/DFT\u201914), pp. 113\u2013122. University of Bamberg (2014)"},{"key":"13_CR39","doi-asserted-by":"publisher","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Symposium on Logic in Computer Science (LICS\u201996), pp. 278\u2013292. IEEE (1996). https:\/\/doi.org\/10.1109\/LICS.1996.561342","DOI":"10.1109\/LICS.1996.561342"},{"key":"13_CR40","doi-asserted-by":"publisher","unstructured":"Junges, S., Guck, D., Katoen, J., Stoelinga, M.: Uncovering dynamic fault trees. In: Proceedings of the 46th International Conference on Dependable Systems and Networks (DSN\u201916), pp. 299\u2013310. IEEE (2016). https:\/\/doi.org\/10.1109\/DSN.2016.35","DOI":"10.1109\/DSN.2016.35"},{"key":"13_CR41","doi-asserted-by":"publisher","unstructured":"Kabir, S.: An overview of fault tree analysis and its application in model based dependability analysis. Expert Syst. Appl. 77, 114\u2013135 (2017). https:\/\/doi.org\/10.1016\/J.ESWA.2017.01.058","DOI":"10.1016\/J.ESWA.2017.01.058"},{"key":"13_CR42","doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 220\u2013270. Springer (2007). https:\/\/doi.org\/10.1007\/978-3-540-72522-0_6","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"13_CR43","doi-asserted-by":"publisher","unstructured":"Legay, A., Lukina, A., Traonouez, L., Yang, J., Smolka, S.A., Grosu, R.: Statistical model checking. In: Steffen, B., Woeginger, G.J. (eds.) Computing and Software Science: State of the Art and Perspectives. LNCS, vol. 10000, pp. 478\u2013504. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_23","DOI":"10.1007\/978-3-319-91908-9_23"},{"key":"13_CR44","doi-asserted-by":"publisher","unstructured":"Limbr\u00e9e, C., Cappart, Q., Pecheur, C., Tonetta, S.: Verification of railway interlocking: compositional approach with OCRA. In: Lecomte, T., Pinger, R., Romanovsky, A.B. (eds.) RSSRail 2016. LNCS, vol.\u00a09707, pp. 134\u2013149. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-33951-1_10","DOI":"10.1007\/978-3-319-33951-1_10"},{"key":"13_CR45","unstructured":"Lisagor, O.: Failure logic modelling: a pragmatic approach, Ph.D. thesis, University of York (2010). https:\/\/etheses.whiterose.ac.uk\/1044\/"},{"key":"13_CR46","doi-asserted-by":"publisher","unstructured":"Liu, J., Backes, J.D., Cofer, D.D., Gacek, A.: From Design Contracts to Component Requirements Verification. In: Rayadurgam, S., Tkachuk, O. (eds.) NFM 2016. LNCS, vol.\u00a09690, pp. 373\u2013387. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-40648-0_28","DOI":"10.1007\/978-3-319-40648-0_28"},{"key":"13_CR47","doi-asserted-by":"publisher","unstructured":"Montecchi, L., Lollini, P., Bondavalli, A.: Towards a MDE transformation workflow for dependability analysis. In: Proceedings of the 16th International Conference on Engineering of Complex Computer Systems (ICECCS\u201911), pp. 157\u2013166. IEEE (2011). https:\/\/doi.org\/10.1109\/ICECCS.2011.23","DOI":"10.1109\/ICECCS.2011.23"},{"issue":"1","key":"13_CR48","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TDSC.2004.11","volume":"1","author":"DM Nicol","year":"2004","unstructured":"Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-based evaluation: from dependability to security. IEEE Trans. Dependable Secur. Comput. 1(1), 48\u201365 (2004). https:\/\/doi.org\/10.1109\/TDSC.2004.11","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"issue":"6","key":"13_CR49","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). https:\/\/doi.org\/10.1109\/TSE.2019.2917202","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR50","doi-asserted-by":"publisher","unstructured":"Parri, J., Sampietro, S., Vicario, E.: FaultFlow: a tool supporting an MDE approach for timed failure logic analysis. In: Proceedings of the 17th European Dependable Computing Conference (EDCC\u201921), pp. 25\u201332. IEEE (2021). https:\/\/doi.org\/10.1109\/EDCC53658.2021.00011","DOI":"10.1109\/EDCC53658.2021.00011"},{"key":"13_CR51","doi-asserted-by":"publisher","unstructured":"Rodrigues da Silva, A.: Model-driven engineering: a survey supported by the unified conceptual model. Comput. Lang. Syst. Struct. 43, 139\u2013155 (2015). https:\/\/doi.org\/10.1016\/J.CL.2015.06.001","DOI":"10.1016\/J.CL.2015.06.001"},{"key":"13_CR52","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1016\/J.COSREV.2015.03.001","DOI":"10.1016\/J.COSREV.2015.03.001"},{"key":"13_CR53","doi-asserted-by":"publisher","unstructured":"Salfner, F., Lenk, M., Malek, M.: A survey of online failure prediction methods. ACM Comput. Surv. 42(3), 10:1\u201310:42 (2010). https:\/\/doi.org\/10.1145\/1670679.1670680","DOI":"10.1145\/1670679.1670680"},{"key":"13_CR54","doi-asserted-by":"publisher","unstructured":"Salfner, F., Malek, M.: Using hidden semi-Markov models for effective online failure prediction. In: Proceedings of the 26th Symposium on Reliable Distributed Systems (SRDS\u201907), pp. 161\u2013174. IEEE (2007). https:\/\/doi.org\/10.1109\/SRDS.2007.35","DOI":"10.1109\/SRDS.2007.35"},{"key":"13_CR55","doi-asserted-by":"publisher","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic activity networks: formal definitions and concepts. In: Brinksma, E., Hermanns, H., Katoen, J. (eds.) Lectures on Formal Methods and Performance Analysis. LNCS, vol.\u00a02090, pp. 315\u2013343. Springer (2000). https:\/\/doi.org\/10.1007\/3-540-44667-2_9","DOI":"10.1007\/3-540-44667-2_9"},{"issue":"2","key":"13_CR56","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Comp. 39(2), 25\u201331 (2006). https:\/\/doi.org\/10.1109\/MC.2006.58","journal-title":"IEEE Comp."},{"key":"13_CR57","doi-asserted-by":"publisher","unstructured":"Seisenberger, M., et al.: Safe and secure future AI-driven railway technologies: challenges for formal methods in railway. In: Margaria, T., Steffen, B. (eds.) \"Leveraging Applications of Formal Methods, Verification and Validation: Practice. ISoLA 2022. LNCS, vol. 13704, pp. 246\u2013268. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8_20","DOI":"10.1007\/978-3-031-19762-8_20"},{"key":"13_CR58","unstructured":"Stamatis, D.H.: Failure mode and effect analysis: FMEA from theory to execution. ASQ (2003). https:\/\/asq.org\/quality-press\/display-item?item=H1188#"},{"key":"13_CR59","doi-asserted-by":"crossref","unstructured":"Trivedi, K.S., Bobbio, A.: Reliability and availability engineering: modeling, analysis, and applications. Cambridge University Press (2017). https:\/\/www.cambridge.org\/de\/academic\/subjects\/engineering\/engineering-general-interest\/reliability-and-availability-engineering-modeling-analysis-and-applications","DOI":"10.1017\/9781316163047"},{"issue":"4","key":"13_CR60","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.A.: SHARPE at the age of twenty two. ACM SIGMETRICS Perform. Eval. Rev. 36(4), 52\u201357 (2009). https:\/\/doi.org\/10.1145\/1530873.1530884","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T19:09:07Z","timestamp":1729883347000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75390-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,26]]},"ISBN":["9783031753893","9783031753909"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75390-9_13","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"}}]}}