On the Reliability of the Autosub Autonomous Underwater Vehicle | Synapse