Fault-Tree-Analysis-Based Health Monitoring for Autonomous Underwater Vehicle | Publicación