Ethernet-based network with high reliability for railway signaling systems
Model checker for railway signalling communication protocol
Risk assessment method for guaranteeing safety in the train control system
Safety characteristics analysis of Korean standard communication protocol for railway signalling