J. Boudnaya, A. Mkhida, and B. Bououlid Idrissi, “Dependability Assessment of the Railway Signalling Systems Based on the Stochastic Petri Nets Analysis”, Int J Intell Syst Appl Eng, vol. 3, no. 2, pp. 90–96, Apr. 2015.