Model-Based Design of Complex Aeronautical Systems Through Digital Twin and Thread Concepts