C. Barreyre, B. Laurent, J. Loubes, L. Boussouf, and B. Cabon, Multiple Testing for Outlier Detection in Space Telemetries, IEEE Transactions on Big Data, vol.6, issue.3, 2019.

R. J. Cloutier, The Guide to the Systems Engineering Body of Knowledge (SEBoK), 2019.

B. Esfahbod, Vee model for systems engineering process, 2013.

, Systems Engineering Handbook (SEBoK): A Guide for System Life Cycle Processes and Activities, version 3.2.2, International Council on Systems Engineering (INCOSE), 2012.

. Incose-se-vision, , 2020.

J. Kleer and J. Kurien, Fundamentals of modelbased diagnosis, IFAC Proceedings Volumes, p.36, 2003.

M. Machin, E. Saez, P. Virelizier, and X. De-bossoreille, Modeling Functional Allocation in Al-taRica to Support MBSE/MBSA Consistency. Model-Based Safety and Assessment, pp.3-17, 2019.

C. Pralet, X. Pucel, and S. Roussel, Diagnosis of intermittent faults with conditional preferences, Proceedings of the 27th International Workshop on Principles of Diagnosis (DX'16), 2016.

S. Qin and . Joe, Survey on data-driven industrial process monitoring and diagnosis, Annual reviews in control, vol.36, issue.2, pp.220-234, 2012.

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.

M. Schwabacher and K. Goebel, A survey of artificial intelligence for prognostics, AAAI Fall Symposium: Artificial Intelligence for Prognostics, pp.108-115, 2007.

I. Takashi, SATELLITE COMMUNICA-TIONS: System and its Design Technology, 2000.

L. Travé-massuyès, T. Escobet, and X. Olive, Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations, Part A: Systems and Humans, vol.36, pp.1146-1160, 2006.

J. Zaytoon and S. Lafortune, Overview of fault diagnosis methods for discrete event systems, Annual Reviews in Control, vol.37, pp.308-320, 2013.