Mission planning and specification in the Neptus framework | IEEE Conference Publication | IEEE Xplore