ROS2 Communication Security Vulnerability Detection Based on Formal Method | Publicación