G. Adomavicius and A. Tuzhilin, Context-Aware Recommender Systems, Recommender Systems Handbook, pp.191-226, 2015.

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, In IEEE Trans. on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.

L. Bass, R. Little, R. Pellegrino, S. Reed, R. Seacord et al., The Arch model: Seeheim revisited (version 1.0), The UIMS Developers Workshop, 1992.

R. Bell, Y. Koren, and C. Volinsky, Modeling Relationships at Multiple Scales to Improve Accuracy of Large Recommender Systems, Proceedings of the 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD '07, pp.95-104, 2007.

M. Borg, K. Wnuk, B. Regnell, and P. Runeson, Supporting Change Impact Analysis Using a Recommendation System: An Industrial Case Study in a Safety-Critical Context, IEEE Transactions on Software Engineering PP, vol.99, pp.1-1, 2016.

E. Bouzekri, A. Canny, C. Fayollas, C. Martinie, P. Palanque et al., Engineering Issues Related to the Development of a Recommender System in a Critical Context: Application to Interactive Cockpits in, International Journal on Human Computer Studies, 2018.

A. Carlos, N. Gomez-uribe, and . Hunt, The Netflix Recommender System: Algorithms, Business Value, and Innovation, ACM Trans. Manage. Inf. Syst, vol.6, p.19, 2015.

M. D. Ekstrand, M. Ludwig, J. A. Konstan, and J. T. Riedl, Rethinking the Recommender Research Ecosystem: Reproducibility, Openness, and LensKit, Proceedings of the Fifth ACM Conference on Recommender Systems (RecSys '11), pp.133-140, 2011.

A. Dix, Formal methods for interactive systems, 1991.

, DO-333, Formal methods supplement to do-178c and do-278a, 2011.

B. Göransson, J. Gulliksen, and I. Boivie, The usability design process -integrating usercentered systems design in the software development process, Software Process: Improvement and Practice, vol.8, pp.111-131, 2003.

S. Y. Jung, J. Hong, and T. Kim, A formal model for user preference, 2002 IEEE International Conference on Data Mining, pp.235-242, 2002.

B. P. Knijnenburg, C. Martijn, Z. Willemsen, H. Gantner, C. Soncu et al., Explaining the User Experience of Recommender Systems, User Modeling and User-Adapted Interaction, vol.22, pp.441-504, 2012.

, Critical Decision Support Systems, pp.408-421

C. Martinie, P. Palanque, D. Navarre, and E. Barboni, A development process for usable large scale interactive critical systems: application to satellite ground segments, Proceedings of the 4th international conference on Human-Centered Software Engineering (HCSE'12), pp.72-93, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01556835

C. Martinie, P. Palanque, and M. Winckler, Structuring and Composition Mechanisms to Address Scalability Issues in Task Models, IFIP TC 13 INTERACT conference, pp.589-609, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01591816

G. Mori, F. Paterno, and C. Santoro, CTTE: support for developing and analyzing task models for interactive system design, IEEE Transactions on Software Engineering, vol.28, pp.797-813, 2002.

D. Navarre, P. Palanque, J. Ladry, and E. Barboni, ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability, ACM Trans. Comput.-Hum. Interact, vol.16, 2009.

P. P. and .. Bastide, Workshop Software Engineering / Human Computer Interaction associated with the IEEE / ICSE 16 conference, pp.16-21, 1994.

, User Interface Management Systems, Proc. Workshop on User Interface Management Systems, 1983.

M. G. Pilarski, The Concept of Recommender System Supporting Command and Control System in Hierarchical Organization, European Network Intelligence Conference, pp.138-141, 2014.

F. Ricci, L. Rokach, and B. Shapira, Recommender Systems: Introduction and Challenges, Recommender Systems Handbook, pp.1-34, 2015.

T. Sun, S. Tsai, Y. Lee, S. Yang, and S. Ting, The Study on Intelligent Advanced Fighter Air Combat Decision Support System, 2006 IEEE International Conference on Information Reuse Integration, pp.39-44, 2006.

P. Svenmarckt and S. Dekker, Decision support in fighter aircraft: from expert systems to cognitive modelling, Behaviour & Information Technology, vol.22, pp.175-184, 2003.