Case Study: Safety Verification of an Unmanned Underwater Vehicle | IEEE Conference Publication | IEEE Xplore