Model Checking for the Fault Tolerance of Collaborative AUVs | IEEE Conference Publication | IEEE Xplore