Return to Article Details Quantitative safety analysis of train control system based on statistical model checking Download Download PDF