Bednárek, D. et al. 2015. MetroNG: Computer-Aided Scheduling and Collision Detection. Computing and Informatics. 34, 2 (Oct. 2015), 277–304.