Return to Article Details Dependability Assessment of the Railway Signalling Systems Based on the Stochastic Petri Nets Analysis Download Download PDF