Verification of the ROS NavFn planner using executable specification languages | Publicación