R. Alami, A. Albu-schaeffer, A. Bicchi, R. Bischoff, R. Chatila et al., Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, p.15, 2006.
DOI : 10.1109/IROS.2006.6936985
URL : https://hal.archives-ouvertes.fr/hal-01295366

S. Haddadin, A. Albu-schäffer, and G. Hirzinger, Requirements for Safe Robots: Measurements, Analysis and New Insights, International Symposium on Robotics Research, pp.11-121507, 2009.
DOI : 10.1177/0278364909343970

A. Avi?ienis, J. C. 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

C. Pace and D. Seward, A safety integrated architecture for an autonomous safety excavator, International Symposium on Automation and Robotics in Construction, 2000.

S. Roderick, B. Roberts, E. Atkins, and D. Akin, The Ranger Robotic Satellite Servicer and Its Autonomous Software-Based Safety System, IEEE Intelligent Systems, vol.19, issue.5, pp.12-19, 2004.
DOI : 10.1109/MIS.2004.53

F. Ingrand and F. Py, Online execution control checking for autonomous systems, The 7th International Conference on Intelligent Autonomous Systems, 2002.

J. Fox, Designing Safety into Medical Decisions and Clinical Processes, International Conference on Computer Safety, Reliability and Security, 2001.
DOI : 10.1007/3-540-45416-0_1

P. Klein, The safety-bag expert system in the electronic railway interlocking system elektra, Expert Systems with Applications, vol.3, issue.4, pp.499-506, 1991.
DOI : 10.1016/0957-4174(91)90175-E

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2009.
DOI : 10.1016/j.jlap.2008.08.004

A. Goodloe and L. Pike, Monitoring distributed realtime systems: A survey and future directions, 2010.

L. Pike, S. Niller, and N. Wegmann, Runtime Verification for Ultra-Critical Systems, 2nd International Conference on Runtime Verification, 2011.
DOI : 10.1007/978-3-642-29860-8_23

B. A. Schroeder, On-line monitoring: a tutorial, Computer, vol.28, issue.6, pp.72-78, 1995.
DOI : 10.1109/2.386988

K. Havelund, Runtime Verification of C Programs, 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop, TestCom '08 / FATES '08, pp.7-22, 2008.
DOI : 10.1007/11550679_13

M. Kim, M. Viswanathan, H. Ben-abdallah, S. Kannan, I. Lee et al., Formally specified monitoring of temporal properties, Real-Time Systems Proceedings of the 11th Euromicro Conference on, pp.114-122, 1999.

K. Havelund and G. Roau, An overview of the runtime verification tool java pathexplorer. Formal Methods in System Design, pp.189-215, 2004.

J. P. Blanquart, S. Fleury, M. Hernerk, and C. Honvault, Software safety supervision on-board autonomous spacecraft, 2nd European Congress Embedded Real Time Software, 2004.

Z. Manna and A. Pnueli, Temporal Verification of Reactive Systems: Safety, 1995.
DOI : 10.1007/978-1-4612-4222-2

R. Alur and T. A. Henzinger, Real-time logics: complexity and expressiveness LICS '90, The Fifth Symposium on Logic in Computer Science, Logic in Computer Science, pp.390-401, 1990.

R. Alur and T. A. Henzinger, A really temporal logic, J. ACM, 1994.

A. Mekki-mokhtar, J. Guiochet, D. Powell, J. Blanquart, and M. Roy, Elicitation of executable safety rules for critical autonomous systems, Embedded Real Time Software and Systems (ERTS2), 2012.
URL : https://hal.archives-ouvertes.fr/hal-01282237

D. Martin-guillerez, J. Guiochet, D. Powell, and C. Zanon, A UML-based method for risk analysis of human-robot interactions, Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENCE '10, 2010.
DOI : 10.1145/2401736.2401740
URL : https://hal.archives-ouvertes.fr/hal-01285195