An applicable topology-independent model for railway interlocking systems | Publicación