A constraint programming model for real-time train scheduling at junctions · Study