An implementation of EURORADIO protocol for ERTMS systems