. Sae-international, ARP4754A -Guidelines for Development of Civil Aircraft and Systems, 2010.

, International Organization for Standardization: ISO 26262 -Road vehicles -Functional safety, 2011.

, International Organization for Standardization: ISO 27005 -Information technology -Security techniques -Information security risk management, 2018.

, Agence Nationale de la Sécurité des Systèmes d'Information: EBIOS -Expression des Besoins et Identification des Objectifs de Sécurité. ANSSI, 2010.

, European Organization for Civil Aviation Equipment: ED202 -Airworthiness Security Process Specification, 2014.

, European Organization for Civil Aviation Equipment: ED203 -Airworthiness Security Methods and Considerations, 2018.

, International Electrotechnical Commission: IEC 61508 -Functional safety of electrical/electronic/programmable electronic safety-related systems, IEC, 2010.

G. Pedroza, M. S. Idrees, L. Apvrille, and Y. Roudier, A Formal Methodology Applied to Secure Over-the-Air Automotive Applications, Vehicular Technology Conference (VTC Fall) on Proceedings, pp.1-5, 2011.

B. Hamid, S. Gürgens, and A. , Fuchs: Security patterns modeling and formalization for pattern-based development of secure software systems, Journal Innovations in Systems and Software Engineering, vol.12, issue.2, pp.109-140, 2016.

, Object Management Group: Unified Modeling Language specification, 2017.

, Object Management Group: System Modeling Language specification, 2017.

H. Holm, A Large-Scale Study of the Time Required to Compromise a Computer System, Transactions on Dependable and Secure Computing on Proceedings, IEEE, vol.11, pp.2-15, 2014.

M. Igor-nai-fovino, A. Masera, and . De-cian, Institut pour la Maîtrise des Risques: Experimentation of the new Reliability prediction method FIDES, Reliability Engineering & System Safety, ScienceDirect, vol.94, pp.1394-1402, 2009.

, Science, and Transportation: A "Kill Chain" Analysis of the 2013 Target Data Breach, 2013.

, Object Management Group, 2019.

, The Eclipse Foundation: Papyrus, 2019.