A multi-AUV missions simulation framework for the USARSim Robotics Simulator | IEEE Conference Publication | IEEE Xplore