1. (AVSI), A.V.S.I. (2010) The system architecture virtual integration program. http://savi.avsi.aero
2. Chkouri M, Bozga M (2009) Prototyping of distributed embedded systems using AADL. In: Baelen SV, Weigert T, Ober I, Espinoza H (eds) 2nd international workshop on model based architecting and construction of embedded systems (ACES-MB 2009), CEUR workshop proceedings, vol 507, pp 65–79
3. Correa T, Becker LB, Farines JM, Bodeveix JP, Filali M, Vernadat F (2010) A model-based design methodology for cyber-physical systems. In: 6th embedded real time software and systems conference ( $$\text{ ETRS }^2$$ ETRS 2 2010)
4. Delange J, Pautet L, Hugues J, De Niz D (2010) An MDE-based process for the design, implementation and validation of safety-critical systems. In: 15th IEEE international conference on engineering of complex computer systems (ICECCS 2010), pp 319–324. doi: 10.1109/ICECCS.2010.12
5. Donadel R, Raffo G, Becker L (2014) Modeling and control of a tiltrotor UAV for path tracking. In: 19th IFAC World Congress, pp 3839–3844. IFAC. doi: 10.3182/20140824-6-ZA-1003.01735