Roanes-Lozano, Eugenio; Hernando, Antonio; Alonso, Jose … - In: Mathematics and Computers in Simulation (MATCOM) 82 (2011) 1, pp. 15-28
Railway interlocking systems are apparatuses that prevent conflicting movements of trains through an arrangement of …