Autosub 2000 Under Ice: Design of a New Work Class AUV for Under Ice Exploration | IEEE Conference Publication | IEEE Xplore