An Estimate of the Punctuality Benefits of Automatic Operational Train Sequencing