Acceleration Techniques for Symbolic Simulation of Railway Timetables. - Rebecca Haehn; Erika Ábrahám; Niklas Kotowski (RSSRail, 2022)