A closed form railway line delay propagation model. (May 2019)