A Discrete-Space Train Movement Model for a High-Speed Train under Temporary Speed Restriction. (19th May 2020)