Probabilistic simulation for the certification of railway vehicles | Synapse