J. Biesiadecki and M. W. Maimone, The Mars Exploration Rover Surface Mobility Flight Software: Driving Ambition, 2006 IEEE Aerospace Conference, 2006.
DOI : 10.1109/AERO.2006.1655723
URL : http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/40221/1/06-0060.pdf

A. Rankin, C. Bergli, S. Goldberg, and L. Matthies, Passive perception system for day/night autonomous offroad navigation, SPIE UGV Symposium, 2005.
DOI : 10.1117/12.604064

J. A. Estefan, Survey of model-based Systemse (MBSE) methodologies," Rev A, Incose MBSE Focus Group, 2007.

S. Dhouib, S. Kchir, S. Stinckwich, T. Ziadi, and M. Ziane, RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications, Int. Conference on Simulation, Modeling and Programming for Autonomous Robots, pp.149-160, 2012.
DOI : 10.1007/978-3-642-34327-8_16
URL : https://hal.archives-ouvertes.fr/hal-00995125

P. David, Reliability study of complex physical systems using SysML, Reliability Engineering & System Safety, vol.95, issue.4, pp.431-450, 2010.
DOI : 10.1016/j.ress.2009.11.015
URL : https://hal.archives-ouvertes.fr/hal-00528802

P. Cuenot, D. Chen, S. Gerard, and H. , Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language, Lecture Notes in Computer Science, vol.4615, pp.39-65, 2006.
DOI : 10.1007/978-3-540-74035-3_3

P. H. Feiler and D. P. Gluch, Model-based engineering with AADL: an introduction to the SAE architecture analysis & design language, p.496, 2012.

C. Carreras and I. D. Walker, Interval methods for fault-tree analysis in robotics, IEEE Transactions on Reliability, vol.50, issue.1, pp.3-11, 2001.
DOI : 10.1109/24.935010

I. D. Walker and J. R. Cavallaro, Failure mode analysis for a hazardous waste clean-up manipulator, Reliability Engineering & System Safety, vol.53, issue.3, pp.277-290, 1996.
DOI : 10.1016/S0951-8320(96)00055-5
URL : https://scholarship.rice.edu/bitstream/1911/64194/1/96ress%5b1%5d.pdf

M. L. Visinsky, J. R. Cavallaro, and I. D. Walker, Robotic fault detection and fault tolerance: A survey, Reliability Engineering & System Safety, vol.46, issue.2, pp.2-139, 1994.
DOI : 10.1016/0951-8320(94)90132-5
URL : https://scholarship.rice.edu/bitstream/1911/64190/1/94ress%5b1%5d.pdf

C. Ericson, Fault Tree Analysis -A History, Proceedings of the 17th International Systems Safety Conference, 1999.

I. Renault, KB3: computer program for automatic generation of fault trees, Annual Reliability and Maintainability. Symposium. 1999 Proceedings (Cat. No.99CH36283), pp.389-395, 1999.
DOI : 10.1109/RAMS.1999.744149

J. D. Andrews and J. J. Henry, A computerized fault tree construction methodology, Proc. of the Institution of Mechanical Engineers, pp.171-183, 1997.
DOI : 10.1109/TR.1979.5220452
URL : https://dspace.lboro.ac.uk/dspace-jspui/bitstream/2134/3823/1/97_IMechE_CompMeth_JJH%26JDA.pdf

M. Bozzano, . Ch, and . Jochim, The FSAP/NuSMV-SA Safety Analysis Platform, International Journal on Software Tools for Technology Transfer, vol.23, issue.9, pp.5-24, 2007.
DOI : 10.1109/2.58215
URL : http://sra.fbk.eu/tools/FSAP/dissemination/papers/ecai06.pdf

M. Walker, Compositional Temporal Fault Tree Analysis, Lecture Notes in Computer Science, vol.4680, pp.106-119, 2007.
DOI : 10.1007/978-3-540-75101-4_12

M. Gudemann and F. Ortmeier, A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, pp.132-141, 2010.
DOI : 10.1109/HASE.2010.24

A. Arnold, A. Griffault, G. Point, and A. Rauzy, The AltaRica language and its semantics, Fundamenta Informaticae, pp.109-124, 2000.