Ortiz, Francisco J., Insaurralde, Carlos C., Alonso, Diego, Sánchez, Francisco, Petillot, Yvan R., "Model-driven analysis and design for software development of autonomous underwater vehicles", Robotica, 2015