Specification and Design of Safety Functions for the Prevention of Ship-to-Ship Collisions on the High Seas | Publicación