Hierarchical Hybrid-Model Based Design, Verification, Simulation, And Synthesis of Mission Control For Autonomous Underwater Vehicles