Worst-case software safety level for braking distance algorithm of a train | Publicación