, Netflix users statistics, 2017.

, DO-333, Formal Methods Supplement to DO-178C and DO-278A. RTCA and EUROCAE, 2011.

, Software Considerations in Airborne Systems and Equipment Certification. RTCA and EUROCAE, 2012.

, CS-25 -Amendment 17 -Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes, EASA, 2015.

G. Adomavicius and A. Tuzhilin, Toward the next generation of recommender systems: A survey of the state-of-the-art and possible extensions, IEEE Trans. on Knowl. and Data Eng, vol.17, issue.6, pp.734-749, 2005.

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, IEEE Trans. Dependable Secur. Comput, vol.1, issue.1, pp.11-33, 2004.

J. Bobadilla, F. Ortega, A. Hernando, and J. Bernal, Generalization of recommender systems: Collaborative filtering extended to groups of users and restricted to groups of items, Expert Syst. Appl, vol.39, issue.1, pp.172-186, 2012.

J. Bobadilla, F. Ortega, A. Hernando, and A. Gutiérrez, Recommender systems survey. Know.-Based Syst, vol.46, pp.109-132, 2013.

D. Chatzopoulos and P. Hui, Readme: A real-time recommendation system for mobile augmented reality ecosystems, Proceedings of the 2016 ACM on Multimedia Conference, MM '16, pp.312-316, 2016.

A. Dix, Upside down As and algorithms -computational formalisms and theory. HCI Models Theories and Frameworks: Toward a Multidisciplinary Science, 2003.

M. D. Ekstrand, M. Ludwig, J. A. Konstan, and J. T. , 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. Felfernig, M. Jeran, G. Ninaus, F. Reinfrank, S. Reiterer et al., Basic approaches in recommendation systems, Recommendation Systems in Software Engineering, pp.15-37, 2014.

Z. Gantner, S. Rendle, C. Freudenthaler, and L. Schmidt-thieme, Mymedialite: A free recommender system library, Proceedings of the Fifth ACM Conference on Recommender Systems, RecSys '11, pp.305-308, 2011.

I. Garcia, L. Sebastia, and E. Onaindia, On the design of individual and group recommender systems for tourism, Expert Syst. Appl, vol.38, issue.6, pp.7683-7692, 2011.

M. A. Ghazanfar and A. Prügel-bennett, A scalable, accurate hybrid recommender system, Third International Conference on Knowledge Discovery and Data Mining, WKDD 2010, pp.94-98, 2010.

J. R. Hauser, G. L. Urban, G. Liberali, and M. Braun, Website morphing. Marketing Science, vol.28, pp.202-223, 2009.

H. Jerbi, F. Ravat, O. Teste, and G. Zurfluh, Preference-based recommendations for olap analysis, Proceedings of the 11th International Conference on Data Warehousing and Knowledge Discovery, DaWaK '09, pp.467-478, 2009.

B. P. Knijnenburg, M. C. Willemsen, Z. Gantner, H. Soncu, and C. Newell, Explaining the user experience of recommender systems, User Modeling and User-Adapted Interaction, vol.22, issue.4-5, pp.441-504, 2012.

Y. Koren, R. Bell, and C. Volinsky, Matrix factorization techniques for recommender systems, Computer, vol.42, issue.8, pp.30-37, 2009.

G. Linden, B. Smith, and J. York, Amazon.com recommendations: Item-to-item collaborative filtering, IEEE Internet Computing, vol.7, issue.1, pp.76-80, 2003.

P. Moradi and S. Ahmadian, A reliability-based recommendation method to improve trust-aware recommender systems, Expert Syst. Appl, vol.42, issue.21, pp.7386-7398, 2015.

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, issue.4, 2009.

S. Neema, T. Bapty, S. Shetty, and S. Nordstrom, Autonomic fault mitigation in embedded systems, Eng. Appl. Artif. Intell, vol.17, issue.7, pp.711-725, 2004.

E. Normand, Single-event effects in avionics, IEEE Transactions on Nuclear Science, vol.43, issue.2, pp.461-474, 1996.

C. Porcel, A. Tejeda-lorente, M. A. Martínez, and E. Herrera-viedma, A hybrid recommender system for the selective dissemination of research resources in a technology transfer office, Inf. Sci, vol.184, issue.1, pp.1-19, 2012.

J. Reason, Human Error, 1990.

F. Ricci, L. Rokach, and B. Shapira, Introduction to recommender systems handbook, Recommender Systems Handbook, pp.1-35, 2011.

M. P. Robillard and R. J. Walker, An introduction to recommendation systems in software engineering, Recommendation Systems in Software Engineering, pp.1-11

. Springer, , 2014.

A. Said and A. Bellogín, Replicable evaluation of recommender systems, Proceedings of the 9th ACM Conference on Recommender Systems, RecSys '15, pp.363-364, 2015.

B. Schroeder, E. Pinheiro, and W. Weber, Dram errors in the wild: A large-scale field study. SIGMETRICS Perform, Eval. Rev, vol.37, issue.1, pp.193-204, 2009.

P. Traverse, I. Lacaze, and J. Souyris, Airbus fly-by-wire -A total approach to dependability, Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, vol.156, pp.191-212, 2004.

Y. C. Yeh, Triple-triple redundant 777 primary flight computer, IEEE Aerospace Applications Conference. Proceedings, vol.1, pp.293-307, 1996.