Railway Timetable Stability Analysis Using Stochastic Max-Plus Linear Systems