T. Abdellatif, S. Bensalem, J. Combaz, L. Silva, and F. Ingrand, Rigorous design of robot software: A formal component-based approach, Robotics and Autonomous Systems, vol.60, issue.12, pp.1563-1578, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01980036

R. Alami, R. Chatila, S. Fleury, M. Ghallab, and F. Ingrand, An architecture for autonomy, The International Journal of Robotics Research, vol.17, issue.4, pp.315-337, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00123273

R. Alur and D. Dill, A theory of timed automata, Theoretical computer science, vol.126, issue.2, pp.183-235, 1994.

A. Basu, B. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous component-based system design using the bip framework, IEEE software, vol.28, issue.3, pp.41-48, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722395

G. Behrmann, A. David, and K. Larsen, A tutorial on uppaal, Formal Methods for the Design of Real-Time Systems, pp.200-236, 2004.

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, pp.1270-1282, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075115

B. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Fiacre: an intermediate language for model verification in the topcased environment, European Congress on Embedded Real-Time Software and Systems, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

S. Bornot, J. Sifakis, and S. Tripakis, Modeling urgency in timed systems, International Symposium on Compositionality: the significant difference, pp.103-129, 1998.

F. Boussinot and S. Robert-de, The ESTEREL Language, Proceeding of the IEEE, vol.79, pp.1293-1304, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075075

H. Bruyninckx, Open robot control software: the OROCOS project, International Conference on Robotics and Automation, pp.2523-2528, 2001.

M. Foughali, Toward a correct-and-scalable verification of concurrent robotic systems: Insights on formalisms and tools, IEEE Application of Concurrency to System Design, pp.29-38, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01515012

M. Foughali, B. Berthomieu, S. D. Zilio, P. Hladik, F. Ingrand et al., Formal verification of complex robotic systems on resource-constrained platforms, International Conference on Formal Methods in Software Engineering, pp.2-9, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01778960

M. Foughali, B. Berthomieu, S. D. Zilio, F. Ingrand, and A. Mallet, Model checking real-time properties on the functional layer of autonomous robots, International Conference on Formal Engineering Methods, pp.383-399, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01346080

T. Gibson-robinson, P. Armstrong, A. Boulgakov, and A. Roscoe, Fdr3a modern refinement checker for csp, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.187-201, 2014.

R. Halder, J. Proença, N. Macedo, and A. Santos, Formal verification of ros-based robotic applications using timed-automata, International Workshop on Formal Methods in Software Engineering (FormaliSE), p.2017

M. Hazim, H. Qu, and S. Veres, Testing, verification and improvements of timeliness in ros processes, Conference Towards Autonomous Robotic Systems, pp.146-157, 2016.

T. Henzinger, Z. Manna, and A. Pnueli, Timed transition systems, Workshop/School/Symposium of the REX Project, pp.226-251, 1991.

T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, Information and computation, vol.111, issue.2, pp.193-244, 1994.

F. Ingrand and M. Ghallab, Deliberation for autonomous robots: A survey, Artificial Intelligence, vol.247, pp.10-44, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01137921

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

M. Kim and K. Kang, Formal Construction and Verification of Home Service Robots: A Case Study, International Symposium on Automated Technology for Verification and Analysis, pp.429-443, 2005.

M. Kwiatkowska, G. Norman, and D. Parker, Prism 4.0: Verification of probabilistic real-time systems, International Conference on Computer Aided Verification, pp.585-591, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648035

A. Mallet, C. Pasteur, M. Herrb, S. Lemaignan, and F. Ingrand, GenoM3: Building middleware-independent robotic components, International Conference on Robotics and Automation, pp.4627-4632, 2010.

A. Miyazawa, P. Ribeiro, W. Li, A. Cavalcanti, and J. Timmis, Automatic property checking of robotic applications, International Conference on Intelligent Robots and Systems, pp.3869-3876, 2017.

A. Miyazawa, P. Ribeiro, W. Li, A. Cavalcanti, J. Timmis et al., Robochart: a state-machine notation for modelling and verification of mobile and autonomous robots, 2016.

C. Pecheur, Verification and validation of autonomy software at nasa, 2000.

M. Quigley, B. Gerkey, K. Conley, J. Faust, T. Foote et al., ROS: an open-source Robot Operating System, ICRA workshop on open source software, 2009.

A. Roscoe, Understanding concurrent systems, 2010.

D. Simon, R. Pissard-gibollet, and S. Arias, Orccad, a framework for safe robot control design and implementation, National workshop on control architectures of robots: software approaches and issues, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00385258

A. Sowmya, D. So, and W. H. Tang, Design of a Mobile Robot Controller using Esterel Tools, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, pp.3-10, 2002.

V. Todorov, F. Boulanger, and S. Taha, Formal verification of automotive embedded software, 6th Conference on Formal Methods in Software Engineering, pp.84-87, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01768687

R. Volpe, I. Nesnas, T. Estlin, D. Mutz, R. Petras et al., The claraty architecture for robotic autonomy, Proccedings of IEEE Aerospace Conference, pp.1-121, 2001.

J. Woodcock, P. Larsen, J. Bicarregui, and J. Fitzgerald, Formal methods: Practice and experience, ACM computing surveys, vol.41, issue.4, p.19, 2009.