Air Traffic Management based on 4D Trajectories: A Reliability Analysis using Multi-State Systems Theory | Publicación