Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining