Missionsbezogener modellgestützter Entwurf mobiler automatischer Systeme am Beispiel eines autonomen Unterwasserfahrzeugs