Bednárek, David, Jakub Yaghob, and Filip Zavoral. 2015. “MetroNG: Computer-Aided Scheduling and Collision Detection”. Computing and Informatics 34 (2):277-304. http://147.213.75.17/ojs/index.php/cai/article/view/996.