A Conditional Time-Intervals formulation of the real-time Railway Traffic Management Problem. Issue 2 (2021)