AUVish: An Application-Based Language for Cooperating AUVs | IEEE Conference Publication | IEEE Xplore