A SYSTEM SYNTHESIS ENVIRONMENT FOR ENGINEERING OF COMPLEX NAVAL SYSTEMS | Publicación