A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006.
DOI : 10.1109/SEFM.2006.27

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

E. Bruneton, T. Coupaye, and J. B. Stefani, Recursive and dynamic software composition with sharing, Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming (WCOP02), pp.1-8, 2002.

S. Fleury, M. Herrb, and R. Chatila, Genom: A tool for the specification and the implementation of operating modules in a distributed robot architecture, IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.842-848, 1997.

E. Gat, ESL: a language for supporting robust plan execution in embedded autonomous agents, 1997 IEEE Aerospace Conference, 1997.
DOI : 10.1109/AERO.1997.574422

F. Ingrand, R. Chatila, R. Alami, and F. Robert, PRS: a high level supervision and control language for autonomous mobile robots, Proceedings of IEEE International Conference on Robotics and Automation, 1996.
DOI : 10.1109/ROBOT.1996.503571

S. Joyeux, R. Alami, S. Lacroix, and R. Philippsen, A Plan Manager for Multi-robot Systems, The International Journal of Robotics Research, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00166798

S. Joyeux, F. Kirchner, and S. Lacroix, Managing plans: Integrating deliberation and reactive execution schemes, Robotics and Autonomous Systems, vol.58, issue.9, 2010.
DOI : 10.1016/j.robot.2010.05.005

M. Lemaitre and G. Verfaillie, Towards the formal verication of the functional architecture of autonomous satellite onboard flight software, Proceedings of CAR'2008, 2008.

C. Mcgann, F. Py, K. Rajan, H. Thomas, R. Henthorn et al., A deliberative architecture for AUV control, 2008 IEEE International Conference on Robotics and Automation, pp.1049-1054, 2008.
DOI : 10.1109/ROBOT.2008.4543343

M. Quigley, B. Gerkey, K. Conley, J. Faust, T. Foote et al., ROS: an open-source Robot Operating System, Open-Source Software workshop of the International Conference on Robotics and Automation (ICRA), 2009.

K. Scholl, J. Albiez, and B. Gassmann, Mca -an expandable modular controller architecture, Proccedings of the 3rd Real-Time Linux Workshop, 2001.

P. Soetens, A Software Framework for Real-Time and Distributed Robot and Machine Control, 2006.

A. Speck, E. Pulvermuller, M. Jerger, and B. Franczyk, Component composition validation, International Journal of Applied Mathematics and Computer Science, vol.12, issue.4, p.581590, 2002.