Title: Automatic train control and four-aspect signalling