A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions | IEEE Conference Publication | IEEE Xplore