Dependability Assessment of the Railway Signalling Systems Based on the Stochastic Petri Nets Analysis (Advanced Technology and Science (ATScience), 2015)