1. AA.VV., 2005. GSM-R Interfaces: Class 1 Requirements.
2. UML based reverse engineering for the verification of railway control logics;Abbaneo,2006
3. Dependability and safety analysis of ETCS communication for ERTMS level 3 using performance statecharts and analytic estimation;Babczyński,2014
4. Modeling and verification of time dependent systems using time Petri nets;Berthomieu;IEEE Trans. Softw. Eng.,1991
5. Non-markovian performability evaluation of ERTMS/ETCS level 3;Carnevali,2015