Model-Based Design of Complex Aeronautical Systems through Digital Twin and Thread ConceptsGray BachelorEugenio Brusaet al.2020IEEE Systems Journal