TY - RPRT TI - Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining AU - Francesco Vitale AU - Tommaso Zoppi AU - Francesco Flammini AU - Nicola Mazzocca PY - 2025 DO - 10.1007/978-3-032-10762-6_15 UR - https://arxiv.org/abs/2509.10419 ID - 2509.10419 ER -