SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles | Publicación