Describir: Safety theory and control technology of high-speed train operation /