Performability Evaluation of Autonomous Underwater Vehicles Using Phased Fault Tree Analysis · Study