. Abdellatif, Model-based implementation of real-time applications, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, 2010.
DOI : 10.1145/1879021.1879052

. Abid, Real-Time Specification Patterns and Tools, FMICS, 2012.
DOI : 10.1007/978-3-642-32469-7_1

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

. Basu, 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

[. Rayana, RTD-Finder -A Tool for Compositional Verification of Real-Time Component-Based Systems, TACAS, 2016.

. Berthomieu, Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

. Berthomieu, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, 2004.
DOI : 10.1137/0216062

. Boussinot, F. De-simone-]-boussinot, and R. De-simone, The ES- TEREL Language, Proceeding of the IEEE, 1991.

D. Brugali, Model-Driven Software Engineering in Robotics, IEEE RAM, 2015.

. Dhouib, RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications, SIMPAR, 2012.
DOI : 10.1007/978-3-642-34327-8_16

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

S. Elkady, A. Elkady, and T. Sobh, Robotics Middleware: A Comprehensive Literature Survey and Attribute-Based Bibliography, Journal of Robotics, vol.17, issue.4, 2012.
DOI : 10.1109/TSMCC.2004.826285

URL : http://doi.org/10.1155/2012/959013

. Espiau, Formal Verification in Robotics: Why and How?, 1996.
DOI : 10.1007/978-1-4471-1021-7_26

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

. Fleury, GenoM: A Tool for the Specification and the Implementation of Operating Modules in a Distributed Robot Architecture, IROS, 1997.

. Foughali, Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots, 2016.
DOI : 10.1007/978-3-319-47846-3_24

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

. Gobillot, Measurement-based real-time analysis of robotic software architectures, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2016.
DOI : 10.1109/IROS.2016.7759509

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

. Gobillot, A Modeling Framework for Software Architecture Specification and Validation, SIMPAR, 2014.
DOI : 10.1007/978-3-319-11900-7_26

. Ingrand, Decisional autonomy of planetary rovers, Journal of Field Robotics, vol.2, issue.7, 2007.
DOI : 10.1002/rob.20206

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

. Jing, An End-To-End System for Accomplishing Tasks with Modular Robots, Robotics: Science and Systems XII, 2016.
DOI : 10.15607/RSS.2016.XII.025

. Kim, . Kang, M. Kim, and K. C. Kang, Formal Construction and Verification of Home Service Robots: A Case Study, Automated Technology for Verification and Analysis, 2005.
DOI : 10.1007/11562948_32

H. Kress-gazit-]-kress-gazit, Robot challenges: Toward development of verification and synthesis techniques, IEEE RAM, 2011.

. Kress-gazit, Correct, Reactive, High-Level Robot Control, IEEE Robotics & Automation Magazine, vol.18, issue.3, 2011.
DOI : 10.1109/MRA.2011.942116

. Mallet, GenoM3: Building middleware-independent robotic components, 2010 IEEE International Conference on Robotics and Automation, 2010.
DOI : 10.1109/ROBOT.2010.5509539

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

. Muradore, Robotic Surgery, IEEE Robotics & Automation Magazine, vol.18, issue.3, 2011.
DOI : 10.1109/MRA.2011.942112

. Quigley, ROS: an open-source Robot Operating System, 2009.

. Ringert, Language and code generator composition for model-driven engineering of robotics component & connector systems, 2015.

. Schlegel, Robotic software systems: From code-driven to model-driven designs, 2009.
DOI : 10.5772/25896

URL : http://www.intechopen.com/articles/show/title/robotic-software-systems-from-code-driven-to-model-driven-software-development

. Wilhelm, The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, 2008.
DOI : 10.1145/1347375.1347389