Safety theory and control technology of high-speed train operation. (2017)