C. André, A. Ressouche, and J. M. Tanzi, Combining special purpose and general purpose languages in real-time programming, IEEE Workshop on Programming Languages for Real-Time Industrial Application, 1998.

S. Arias, Formalisation et intégration en vision par ordinateur temps réel, 1999.

C. Azevedo, N. Andreff, and S. Arias, BIPedal walking:from gait design to experimental analysis. Mechatronics, pp.639-665, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00078462

G. Berry, The esterel v5 language primer, 2000.

J. J. Borrelly, E. Costemanì-ere, 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

A. Bouali and R. De-simone, Symbolic bisimulation minimisation, Computer Aided Verification, number 663 in Lecture Notes in Computer Science, 1993.
DOI : 10.1007/3-540-56496-9_9

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Brooks, T. Kaupp, A. Makarenko, S. Williams, and A. Oreback, Towards component-based robotics, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.163-168, 2005.
DOI : 10.1109/IROS.2005.1545523

H. Bruyninckx, Open robot control software: the OROCOS project, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164), 2001.
DOI : 10.1109/ROBOT.2001.933002

J. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005.
DOI : 10.1145/1086228.1086261

E. Costemanì-ere and N. Turro, The MAESTRO language and its environment: Specification, validation and control of robotic missions, 10th IEEE/RSJ International Conference on Intelligent Robots and Systems, 1997.

J. El-khoury, D. Chen, M. Törngren, and K. , A survey of modelling approaches for embedded computer control systems (version 2.0), p.11, 2003.

D. Garlan, Software architecture, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.91-101, 2000.
DOI : 10.1145/336512.336537

D. Garlan and D. Perry, Software architecture: practice, potential, and pitfalls, Proceedings of 16th International Conference on Software Engineering, 1994.
DOI : 10.1109/ICSE.1994.296800

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

S. Gérard, N. Voros, C. Koulamas, and F. Terrier, Efficient System Modeling of Complex Real-Time Industrial Networks Using the ACCORD/UML Methodology, International Workshop on Distributed and Parallel Embedded Systems DIPES, 2000.
DOI : 10.1007/978-0-387-35409-5_2

D. Henriksson, O. Redell, J. El-khoury, M. , and K. Arzén, Tools for real-time control systems co-design ? a survey, 2005.

F. Kanehiro, H. Hirukawa, and S. Kajita, OpenHRP: Open Architecture Humanoid Robotics Platform, The International Journal of Robotics Research, vol.23, issue.2, pp.155-165, 2004.
DOI : 10.1177/0278364904041324

K. Kapellos, Environnement de programmation des applications robotiques réactives, 1994.

K. Kapellos, D. Simon, S. Granier, and V. Rigaud, Distributed control of a free-floating underwater manipulation system, 5th Int. Symp. on Experimental Robotics, 1997.
DOI : 10.1007/BFb0112994

K. Kapellos, D. Simon, M. Jourdan, and B. Espiau, Task level specification and formal verification of robotics control systems: State of the art and case study, International Journal of Systems Science, vol.30, issue.11, pp.1227-1245, 1999.
DOI : 10.1080/002077299291697

F. Loiret and D. Servat, Insights on real time systems architecture modelling for a software engineering viewpoint, 17th Euromicro Conference on real-time systems ECRTS05, 2005.

E. Marchand, E. Rutten, H. Marchand, and F. Chaumette, Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment, The International Journal of Robotics Research, vol.17, issue.4, pp.418-432, 1998.
DOI : 10.1177/027836499801700407

URL : https://hal.archives-ouvertes.fr/inria-00352559

L. Matthies, E. Gat, R. Harrison, B. Wilcox, R. Volpe et al., Mars microrover navigation: performance evaluation and enhancement, Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots, pp.291-311, 1995.
DOI : 10.1109/IROS.1995.525832

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Nesnas, R. Simmons, D. Gaines, C. Kunz, A. Diaz-calderon et al., CLARAty: Challenges and Steps toward Reusable Robotic Software, International Journal of Advanced Robotic Systems, vol.11, issue.4, 2006.
DOI : 10.5772/5766

URL : http://doi.org/10.5772/5766

R. Passama and D. Andreu, COSARC : Component based software architecture of robot controllers, 1st National Workshop on Control Architecture of Robots: software approaches and issues, 2006.

C. Samson, M. L. Borgne, and B. Espiau, Robot Control: the Task-Function Approach, 1991.

A. Santos, B. Espiau, P. Rives, D. Simon, and V. Rigaud, Sensor-based control of holonomic autonomous underwater vehicles, INRIA Research Report, 1995.
URL : https://hal.archives-ouvertes.fr/inria-00074076

S. Schneider, V. Chen, G. Pardo-castellote, and H. Wang, ControlShell: A Software Architecture for Complex Electromechanical Systems, The International Journal of Robotics Research, vol.17, issue.4, pp.360-380, 1998.
DOI : 10.1177/027836499801700404

D. Simon and F. Benattar, Design of real-time periodic control systems through synchronisation and fixed priorities
URL : https://hal.archives-ouvertes.fr/inria-00071908

D. Simon, E. Castillo, and P. Freedman, Design and analysis of synchronization for real-time closed-loop control in robotics, IEEE Transactions on Control Systems Technology, vol.6, issue.4, pp.445-461, 1998.
DOI : 10.1109/87.701336

D. Simon, K. Kapellos, and B. Espiau, Control laws, tasks and procedures with ORCCAD: application to the control of an underwater arm, International Journal of Systems Science, vol.969, issue.10, pp.1081-1098, 1998.
DOI : 10.1109/87.260267

D. Simon, M. Personnaz, and R. Horaud, Teledimos telepresence simulation platform for civil work machines : real-time simulation and 3D vision reconstruction, IARP Workshop on Advances in Robotics for Mining and Underground Applications, 2000.

D. Simon, D. Robert, and O. Sename, Robust Control/Scheduling Co-Design: Application to Robot Control, 11th IEEE Real Time and Embedded Technology and Applications Symposium, pp.118-127, 2005.
DOI : 10.1109/RTAS.2005.46

URL : https://hal.archives-ouvertes.fr/inria-00000733