Precision timing in ocean sensor systems | Publicación