Safety characteristics analysis of Korean standard communication protocol for railway signalling
Formally verifying the correctness of a network-based protocol for railway signalling systems
Risk assessment method for guaranteeing safety in the train control system