J. Blanquart, S. Fleury, and M. &hernek, Software Safety Supervision On-board Autonomous Spacecraft

P. David and J. Guiochet, Etude et analyse de différents dispositifs externes de sécurité-innocuité de type safety bag, 2005.

E. Baudin, J. P. Blanquart, J. Guiochet, and D. Powell, Independent Safety Systems for Autonomy, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01292675

M. Mokhtar and A. , Processus d'identification de propriétés de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques, 2012.

M. Mokhtar, A. Blanquart, J. Guiochet, and J. , Safety Trigger Conditions for Critical Autonomous Systems, 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012.
DOI : 10.1109/PRDC.2012.22
URL : https://hal.archives-ouvertes.fr/hal-01282203

C. Pace, D. Seward, and I. Sommerville, A Safety Integrated Architecture for an Autonomous Excavator, Proc. 17th Int. Symp. on Automation and Robotics in Construction, 2000.

P. Klein, The Safety-Bag Expert System in the Electronic Railway Interlocking System Elektra, Expert System with Applications, 1991.

G. Guesnier, J. F. Hamelin, and &. J. Peyrouton, Centrale nucléaires N4 : l'informatique au service d'une conduite plus sure, 1997.

H. G. Lawley, Operability studies and hazard analysis, Chemical Engineering Progress, vol.70, p.45, 1974.

S. J3016, Taxonomy and Definitions for Terms Related to On-Road Motor Vehicle Automated Driving Systems [17] OICA Automated Driving Definition for Levels of Automation Informal document No. WP, pp.29-162, 2014.