T. Abdellatif, J. Combaz, and M. Poulh`poulh`?es, Correct implementation of open real-time systems, Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), pp.57-64, 2011.

T. Abdellatif, J. Combaz, and J. Sifakis, Model-based implementation of realtime applications, Proceedings of the tenth ACM international conference on Embedded software (EMSOFT'10), pp.229-238, 2010.

J. F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, pp.832-843, 1983.

R. Alur and D. L. Dill, A theory of timed automata, Theor. Comput. Sci, vol.126, pp.183-235, 1994.

A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous real-time components in BIP, Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM-06), pp.3-12, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00375298

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, Compositional verification for component-based systems and application, Proceedings of the International Symposium on Automated Technology for Verification and Analysis, pp.64-79, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00359303

S. Bensalem, L. De-silva, M. Gallien, F. Ingrand, and R. Yan, Rock Solid" Software: A Verifiable and Correct-by-Construction Controller for Rover and Spacecraft Functional Levels, International Symposium on Artificial Intelligence, Robotics and Automation for Space, 2010.

S. Bensalem, L. De-silva, F. Ingrand, and R. Yan, A verifiable and correctby-construction controller for robot functional levels, Journal of Software Engineering for Robotics, vol.2, issue.1, 2011.

S. Bensalem, M. Gallien, F. Ingrand, I. Kahloul, and T. Nguyen, Designing autonomous robots, IEEE Robotics and Automation Magazine, vol.16, issue.1, pp.66-77, 2009.

S. Bensalem, F. Ingrand, and J. Sifakis, Autonomous robot software design challenge, IARP/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, 2008.

S. Bensalem, A. Legay, T. Nguyen, J. Sifakis, and R. Yan, Incremental invariant generation for compositional design, 2010.

D. Bernard, E. Gamble, N. Rouquette, B. Smith, Y. Tung et al., Remote agent experiment ds1 technology validation report, 2000.

S. Bliudze and J. Sifakis, The algebra of connectors-structuring interaction in bip, IEEE Trans. Computers, vol.57, issue.10, pp.1315-1330, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00282866

J. Bohren and S. Cousins, The smach high-level executive, 2010.

, Robotics Automation Magazine, IEEE, vol.17, issue.4, pp.18-20

J. Bohren, R. B. Rusu, E. G. Jones, E. Marder-eppstein, C. Pantofaru et al., Towards autonomous robotic butlers: Lessons learned with the pr2, pp.5568-5575, 2011.

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, From high-level component-based models to distributed implementations, Proceedings of the tenth ACM international conference on Embedded software (EMSOFT'10), pp.209-218, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00557792

R. H. Bordini, M. Fisher, C. Pardavila, W. Visser, and M. Wooldridge, Model checking multi-agent programs with casp, pp.110-113, 2003.

F. Boussinot and R. De-simone, The ESTEREL Language. Proceeding of the IEEE, pp.1293-1304, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075075

M. Broy, B. Jonsson, J. Katoen, M. Leucker, and A. Pretschner, Model-based Testing of Reactive Systems, Lecture Notes in Computer Science, vol.3472, 2005.

H. Bruyninckx, Open robot control software: the orocos project, 2001.

B. Espiau, K. Kapellos, and M. Jourdan, Formal verification in robotics: Why and how, The Seventh International Symposium of Robotics Research, pp.201-213, 1995.

P. H. Feiler, B. A. Lewis, and S. Vestal, The SAE architecture analysis & design language (AADL) a standard for engineering performance critical systems, IEEE International Symposium on Computer-Aided Control Systems Design, pp.1206-1211, 2006.

S. Fleury, M. Herrb, and R. Chatila, G en oM: A tool for the specification and the implementation of operating modules in a distributed robot architecture, IROS-97, pp.842-848, 1997.

R. P. Goldman, D. J. Musliner, and M. J. Pelican, Using model checking to plan hard real-time controllers, Proceedings of the AIPS Workshop on Model-Theoretic Approaches to Planning, 2000.

N. Halbwachs, Synchronous Programming of Reactive Systems, 1992.

F. Ingrand, R. Chatila, R. Alami, and F. Robert, Prs: a high level supervision and control language for autonomous mobile robots, IEEE International Conference on, vol.1, pp.43-49, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01972550

F. Ingrand, S. Lacroix, S. Lemai, and F. Py, Decisional autonomy of planetary rovers, Journal of Field Robotics, vol.24, issue.7, pp.559-580, 2007.

M. Jaber, Centralized and distributed implementations of correct-byconstruction component-based systems by using source-to-source transformations in bip, 2010.

J. Jackson, Microsoft robotics studio: A technical introduction, IEEE RAM, vol.14, issue.4, pp.82-87, 2007.

I. Jacobson, G. Booch, and J. Rumbaugh, The unified software development process, 1999.

R. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Computing, vol.4, pp.67-95, 1986.

J. Kramer and M. Scheutz, Development environments for autonomous mobile robots: A survey, 2007.

H. Kress-gazit and G. Pappas, Automatic synthesis of robot controllers for tasks with locative prepositions, Robotics and Automation (ICRA), 2010 IEEE International Conference on, pp.3215-3220, 2010.

A. Mallet, C. Pasteur, M. Herrb, S. Lemaignan, and F. Ingrand, GenoM3: Building middleware-independent robotic components, Robotics and Automation (ICRA), 2010 IEEE International Conference on, pp.4627-4632, 2010.
DOI : 10.1109/robot.2010.5509539

M. Montemerlo, N. Roy, and S. Thrun, Perspectives on standardization in mobile robot programming: The carnegie mellon navigation (carmen) toolkit, Proc. IEEE/RSJ Int. Conf. Intelligent Robots and Systems, pp.2436-2441, 2003.

I. A. Nesnas, A. Wright, M. Bajracharya, R. Simmons, and T. Estlin, Claraty and challenges of developing interoperable robotic software, IROS. Las Vegas, 2003.
DOI : 10.1109/iros.2003.1249234

M. Quigley, B. Gerkey, K. Conley, J. Faust, T. Foote et al., Ros: an open-source robot operating system, International Conference on Robotics and Automation, 2009.

G. Rosu and S. Bensalem, Allen linear (interval) temporal logic-translation to ltl and monitor synthesis, CAV, vol.4144, pp.263-277, 2006.

A. Shakhimardanov and E. Prassler, Comparative evaluation of robotic software integration systems: A case study, IROS, p.7, 2007.

M. Shanahan, An abductive event calculus planner, Journal of Logic Programming, vol.44, pp.207-239, 2000.
DOI : 10.1016/s0743-1066(99)00077-1
URL : https://doi.org/10.1016/s0743-1066(99)00077-1

J. Sifakis, A framework for component-based construction extended abstract, Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM-05), pp.293-300, 2005.
DOI : 10.1109/sefm.2005.3

R. Simmons, C. Pecheur, and G. Srinivasan, Towards automatic verification of autonomous systems, IEEE/RSJ International conference on Intelligent Robots & Systems, 2000.

R. Vaughan and B. Gerkey, Reusable robot software and the player/stage project. Software Engineering for Experimental Robotics, pp.267-289, 2007.
DOI : 10.1007/978-3-540-68951-5_16

B. C. Williams, M. D. Ingham, S. Chung, P. Elliott, M. Hofbaur et al., Model-Based Programming of Fault-Aware Systems. Artificial Intelligence, pp.61-75, 2003.

T. Wongpiromsarn, U. Topcu, and R. M. Murray, Receding horizon control for temporal logic specifications, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control. HSCC '10, pp.101-110, 2010.
DOI : 10.1145/1755952.1755968