Mission planning and specification in the Neptus framework