selected publications academic article MINOAS a Marine INspection rObotic Assistant: system requirements and design. IFAC Proceedings Volumes. 43:479-484. 2010