ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis | IEEE Journals & Magazine | IEEE Xplore