J. Carlson and R. Murphy, How UGVs physically fail in the field, IEEE Transactions on Robotics, vol.21, issue.3, pp.423-437, 2005.
DOI : 10.1109/TRO.2004.838027

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

S. Bensalem, M. Galien, F. Ingrand, I. Kahlou, and T. H. Nguyen, Toward a More Dependable Software Architecture for Autonomous Robots, Special issue on Software Engineering for Robotics of the IEEE Robotics and Automation Magazine, 2009.

N. Muscettola, G. A. Dorais, C. Fry, R. Levinson, and C. Plaunt, IDEA: Planning at the Core of Autonomous Reactive Agents, proc. of the 3rd Int. NASA Workshop on Planning and Scheduling for Space, 2002.

R. Volpe, I. Nesnas, T. Estlin, D. Mutz, R. Petras et al., The CLARAty architecture for robotic autonomy, 2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542), pp.121-132, 2001.
DOI : 10.1109/AERO.2001.931701

A. Jalaoui, D. Andreu, and B. , Contextual Management of Tasks and Instrumentation within an AUV control software architecture, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006.
DOI : 10.1109/IROS.2006.281760

URL : https://hal.archives-ouvertes.fr/lirmm-00129408

B. Espiau, K. Kapellos, and M. Jourdan, Formal Verification in Robotics: Why and How?, of the 7 th Int. Symposium of Robotics Research, pp.201-213, 1995.
DOI : 10.1007/978-1-4471-1021-7_26

J. Borrelly, E. Coste-manière, B. Espiau, K. Kapellos, R. Pissard-gibollet et al., The ORCCAD Architecture, The International Journal of Robotics Research, vol.17, issue.4, pp.338-359, 1998.
DOI : 10.1177/027836499801700403

URL : https://hal.archives-ouvertes.fr/hal-00930119

B. C. Williams, M. D. Ingham, S. H. Chung, P. H. Elliott, M. Hofbaur et al., Model-Based Programming of Fault-Aware Systems, AI Magazine, vol.24, issue.4, pp.61-75, 2003.

R. Simmons, C. Pecheur, and G. Srinivasan, Towards automatic verification of autonomous systems, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113), 2000.
DOI : 10.1109/IROS.2000.893218

A. Basu, M. Gallien, C. Lesire, T. H. Nguyen, S. Bensalem et al., Incremental Component-Based Construction and Verification of a Robotic System, ECAI 2008 18th European Conference on Artificial Intelligence, 2008.

B. Lussier, A. Lampe, R. Chatila, J. Guiochet, F. Ingrand et al., Fault Tolerance in Autonomous Systems: How and How Much?", in proc, 2005.

R. Murphy and D. Hershberger, Classifying and recovering from sensing failures in autonomous mobile robots, proc. of the National Conference on Artificial Intelligence, pp.922-929, 1996.

M. Brandstötter, M. W. Hofbaur, G. Steinbauer, and F. Wotawa, Model-based fault diagnosis and reconfiguration of robot drives, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.1203-1209, 2007.
DOI : 10.1109/IROS.2007.4399092

R. P. Goldman, D. J. Musliner, and M. J. Pelican, Using modelchecking to plan hard real-time controllers, AIPS Workshop on Model-Theoretic Approaches to Planning, 2000.

S. Lemai-chenevier, IXTET-EXEC: Planning, Plan Repair and Execution Control with Time and Resource Management, 2004.

B. Durand, K. Godary-dejean, L. Lapierre, and D. Crestani, Global methodology in control architecture to improve mobile robot reliability, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, p.2010
DOI : 10.1109/IROS.2010.5649337

URL : https://hal.archives-ouvertes.fr/lirmm-00547867

H. Huang, K. Pavek, B. Novak, J. Albus, and E. Messina, A Framework For Autonomy Levels For Unmanned Systems (ALFUS), Proceedings of the AUVSI's Unmanned Systems North America, 2005.

B. T. Clough, Metrics, Schmetrics! How The Heck Do You Determine a UAV's Autonomy Anyway? " , Performance Metrics for Intelligent Systems Workshop, 2002.

M. A. Goodrich and A. C. Schultz, Human-Robot Interaction: A Survey, Foundations and Trends?? in Human-Computer Interaction, vol.1, issue.3, pp.203-275, 2007.
DOI : 10.1561/1100000005

R. Oppermann and H. Simm, Adaptability: user-initiated individualization Adaptive User Support: Ergonomic Design of Manually and Automatically Adaptable Software, pp.14-64, 1994.

M. Baker and H. A. Yanco, Autonomy mode suggestions for improving human-robot interaction, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 2004.
DOI : 10.1109/ICSMC.2004.1400781