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