Model-driven analysis and design for software development of autonomous underwater vehicles | Publicación