A disjunctive program formulation to generate regular public transit timetables adhering to prioritized planning requirements. Issue 2 (16th April 2018)