Deadlock Avoidance in Train Scheduling: A Model Checking Approach. - Franco Mazzanti; Giorgio Oronzo Spagnolo; Simone Della Longa; Alessio Ferrari 001 (FMICS, 2014)