A Train Protection Logic Based on Topological Manifolds for Virtual Coupling - Phillip James (IEEE Transactions on Intelligent Transportation Systems, 2022)