Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review - Carnevali, L.; Di Giandomenico, F.; Fantechi, A.; Gnesi, S.; Gori, G. (IEEE Transactions on Intelligent Transportation Systems, Intelligent Transportation Systems, IEEE Transactions on, IEEE Trans. Intell. Transport. Syst., 2025)