Zaslat záznam e-mailem: Performability Evaluation of Autonomous Underwater Vehicles Using Phased Fault Tree Analysis