Reliability analysis of an autonomous underwater vehicle using fault tree | IEEE Conference Publication | IEEE Xplore