Strengthened Formulations and Valid Inequalities for Single Delay Management in Public Transportation · Study