{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T06:51:01Z","timestamp":1772002261443,"version":"3.50.1"},"reference-count":88,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2025,4]]},"DOI":"10.1109\/tits.2025.3530112","type":"journal-article","created":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T19:08:58Z","timestamp":1738177738000},"page":"4298-4314","source":"Crossref","is-referenced-by-count":5,"title":["Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review"],"prefix":"10.1109","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5896-4860","authenticated-orcid":false,"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[{"name":"Department of Information Engineering, University of Florence, Firenze, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8760-7299","authenticated-orcid":false,"given":"Felicita","family":"Di Giandomenico","sequence":"additional","affiliation":[{"name":"Institute of Information Science and Technologies (ISTI), Italian National Research Council (CNR), Pisa, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4648-4667","authenticated-orcid":false,"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[{"name":"Department of Information Engineering, University of Florence, Firenze, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0139-0421","authenticated-orcid":false,"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[{"name":"Institute of Information Science and Technologies (ISTI), Italian National Research Council (CNR), Pisa, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8482-2612","authenticated-orcid":false,"given":"Gloria","family":"Gori","sequence":"additional","affiliation":[{"name":"Department of Information Engineering, University of Florence, Firenze, Italy"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3158668"},{"key":"ref2","volume-title":"ASTRail","year":"2025"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2681076"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47169-3_23"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019824"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-021-00556-1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-022-00653-3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-10(4:6)2014"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2807127"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2011.12.002"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2017.07.002"},{"key":"ref13","volume-title":"Capacity4Rail","year":"2025"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2017.10"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2021.107933"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.suscom.2021.100519"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270318"},{"issue":"1","key":"ref18","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1186\/s13173-021-00105-x","article-title":"A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning","volume":"27","author":"da Silva","year":"2021","journal-title":"J. Brazilian Comput. Soc."},{"issue":"4","key":"ref19","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","article-title":"Uppaal SMC tutorial","volume":"17","author":"David","year":"2015","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"ref20","first-page":"1","article-title":"Statistical model checking of dynamic networks of stochastic hybrid automata","volume":"66","author":"David","year":"2014","journal-title":"Electron. Commun. EASST"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-3-642-40894-6_15","article-title":"Stochastic model-based analysis of railway operation to support traffic planning","volume-title":"Software Engineering for Resilient Systems (SERENE)","author":"Di Giandomenico","year":"2013"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2920290"},{"key":"ref23","first-page":"1059","article-title":"Dynamic reliability block diagrams: Overview of a methodology","volume-title":"Proc. Eur. Saf. Rel. Conf., ESREL\u2013Risk, Rel. Societal Saf.","author":"Distefano"},{"key":"ref24","volume-title":"ERTMS\/ETCS RAMS System Requirements Specification","year":"1999"},{"key":"ref25","volume-title":"ERTMS\/ETCS Systems Requirements Specification","year":"1999"},{"key":"ref26","volume-title":"Europe\u2019s Rail","year":"2025"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19762-8_21"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/978-3-642-33176-3_12","article-title":"Model-based evaluation of the availability of a CBTC system","volume-title":"Software Engineering for Resilient Systems","author":"Ferrari","year":"2012"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3124677"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3520480"},{"issue":"6","key":"ref31","doi-asserted-by":"crossref","first-page":"989","DOI":"10.1007\/s00165-021-00560-5","article-title":"Compositional modeling of railway virtual coupling with activity networks","volume":"33","author":"Flammini","year":"2021","journal-title":"Formal Aspects Comput."},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.3850\/978-981-14-8593-0_3749-cd"},{"issue":"2","key":"ref33","first-page":"159","article-title":"Toward formal safety and performance evaluation of GNSS-based railway localisation function","volume":"54","author":"Himrane","year":"2021","journal-title":"Proc. 16th IFAC Symp. Control Transport. Syst."},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/OJITS.2023.3267142"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/978-981-33-4929-2_22","article-title":"A novel method on probability evaluation of ZC handover scenario based on SMC","volume-title":"Robotics and Rehabilitation Intelligence","author":"Huang","year":"2020"},{"key":"ref36","volume-title":"Railway Applications: Urban Guided Transport Management and Command\/Control Systems Part 1","year":"2007"},{"key":"ref37","volume-title":"Railway Applications\u2014The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS)\u2014Part 2","year":"2017"},{"key":"ref38","volume-title":"Standard for Communications Based Train Control (CBTC)\u2014Performance and Functional Requirements","year":"2004"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2016.35"},{"issue":"1","key":"ref40","first-page":"7","article-title":"Quantitative safety analysis of train control system based on statistical model checking","volume":"61","author":"Junting","year":"2022","journal-title":"Arch. Transp."},{"key":"ref41","first-page":"1","article-title":"Procedures for performing systematic reviews","volume":"33","author":"Kitchenham","year":"2004","journal-title":"Keele, U.K., Keele Univ."},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.26599\/JICV.2023.9210003"},{"key":"ref43","first-page":"220","volume-title":"Stochastic Model Checking","author":"Kwiatkowska","year":"2007"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00046-9"},{"key":"ref45","first-page":"122","article-title":"Statistical model checking: An overview","volume-title":"Proc. 1st Int. Conf. Runtime Verification","author":"Legay"},{"key":"ref46","doi-asserted-by":"crossref","DOI":"10.1155\/2020\/8893631","article-title":"LTE-U based train to train communication system in CBTC: System desin and reliability analysis","volume":"2020","author":"Liang","year":"2020","journal-title":"Wireless Commun. Mobile Comput."},{"issue":"2","key":"ref47","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/288197.581195","article-title":"Performance modelling with deterministic and stochastic Petri nets","volume":"26","author":"Lindemann","year":"1998","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ChiCC.2016.7554977"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2967634"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2945333"},{"key":"ref51","first-page":"2","article-title":"Chinese train control system principles","volume":"225","author":"Lv","year":"2016","journal-title":"IRSE News"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2658179"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1980.1675654"},{"key":"ref54","first-page":"14","article-title":"ERTMS level 4, train convoys or virtual coupling","volume":"219","author":"Mitchell","year":"2016","journal-title":"IRSE News"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2604043"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.11"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2017.2747137"},{"key":"ref58","volume-title":"PERFORMINGRAIL","year":"2025"},{"key":"ref59","volume-title":"PI-tool","year":"2024"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_28"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2015.03.001"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2_10"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44667-2_9"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.3850\/978-981-18-5183-4_S06-10-294-cd"},{"key":"ref65","volume-title":"Multi-annual Action Plan","year":"2015"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2017.03.001"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2914701"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2018.2819799"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2023.3272019"},{"key":"ref70","volume-title":"MATLAB Version: 9.13.0 (r2022b)","year":"2022"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1017\/9781316163047"},{"key":"ref72","volume-title":"U.S. Federal Railroad Admin. (FRA)","year":"2004"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.06.045"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3046681"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1016\/j.jrtpm.2017.06.001"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-022-00652-4"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2021.3088136"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/OJITS.2022.3228077"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/CAC.2017.8243421"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2017.09.009"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC55140.2022.9922206"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/TASE52547.2021.00032"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.71"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1002\/wcm.2313"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2018.2870053"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_19"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2003.12.039"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6979\/10945245\/10857974.pdf?arnumber=10857974","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T05:01:32Z","timestamp":1743224492000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10857974\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4]]},"references-count":88,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tits.2025.3530112","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4]]}}}