Formal verification of safety protocol in train control system | Publicación