T. Babczy?ski and J. Magott, Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation, Proc. of 9th DepCoS-RELCOMEX, volume 286 of Advances in Intelligent Systems and Computing, pp.37-46, 2014.
DOI : 10.1007/978-3-319-07013-1_4

L. Carnevali, F. Flammini, M. Paolieri, and E. Vicario, Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3, Computer Performance Engineering (Proc. of EPEW 2015), pp.47-62, 2015.
DOI : 10.1007/978-3-319-23267-6_4

P. Dersin, Availability of data communication networks in automated urban train systems, 2014 Reliability and Maintainability Symposium, pp.1-6, 2014.
DOI : 10.1109/RAMS.2014.6798498

F. Flammini, S. Marrone, M. Iacono, N. Mazzocca, and V. Vittorini, A MULTIFORMALISM MODULAR APPROACH TO ERTMS/ETCS FAILURE MODELING, International Journal of Reliability, Quality and Safety Engineering, vol.21, issue.01, pp.1450001-2014
DOI : 10.1142/S0218539314500016

H. Hermanns, D. N. Jansen, and Y. S. Usenko, From StoCharts to MoDeST, Proceedings of the 5th international workshop on Software and performance , WOSP '05, pp.13-23, 2005.
DOI : 10.1145/1071021.1071023

A. Horváth, M. Paolieri, L. Ridi, and E. Vicario, Transient analysis of non-Markovian models using stochastic state classes. Performance Evaluation, pp.315-335, 2012.

H. Sencity, Spot-S WiFi antenna radiation pattern

W. S. Kendall, NOTES ON PERFECT SIMULATION, Markov chain Monte Carlo, pp.93-146, 2005.
DOI : 10.1142/9789812700919_0003

J. Boudec and M. Vojnovic, The Random Trip Model: Stability, Stationary Regime, and Perfect Simulation, IEEE/ACM Transactions on Networking, vol.14, issue.6, pp.1153-1166, 2006.
DOI : 10.1109/TNET.2006.886311

J. Trowitzsch and A. Zimmermann, Using UML state machines and petri nets for the quantitative investigation of ETCS, Proceedings of the 1st international conference on Performance evaluation methodolgies and tools , valuetools '06, 2006.
DOI : 10.1145/1190095.1190138

A. Zimmermann and G. Hommel, A train control system case study in model-based real time system design, Proceedings International Parallel and Distributed Processing Symposium, 2003.
DOI : 10.1109/IPDPS.2003.1213234

A. Zimmermann and G. Hommel, Towards modeling and evaluation of ETCS real-time communication and operation, Journal of Systems and Software, vol.77, issue.1, pp.47-54, 2005.
DOI : 10.1016/j.jss.2003.12.039