Reliability analysis of an autonomous underwater vehicle using fault tree · Study