Model-Based Design of Complex Aeronautical Systems Through Digital Twin and Thread Concepts | IEEE Journals & Magazine | IEEE Xplore