T. Abdellatif, S. Bensalem, J. Combaz, L. De-silva, and F. Ingrand, Rigorous design of robot software: A formal component-based approach, Robotics and Autonomous Systems, vol.60, issue.12, pp.12-1563, 2012.
DOI : 10.1016/j.robot.2012.09.005

N. Abid, S. D. Zilio, and D. L. Botlan, Real-Time Specification Patterns and Tools, Formal Methods for Industrial Critical Systems, pp.1-15, 2012.
DOI : 10.1007/978-3-642-32469-7_1
URL : https://hal.archives-ouvertes.fr/hal-00782649

R. Alami, R. Chatila, S. Fleury, M. Ghallab, and F. Ingrand, An Architecture for Autonomy, The International Journal of Robotics Research, vol.7, issue.6, pp.315-337, 1998.
DOI : 10.1142/S0218194096000120
URL : https://hal.archives-ouvertes.fr/hal-00123273

R. Alur, L. David, and . Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

B. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

B. Berthomieu and M. Menasche, An enumerative approach for analyzing time Petri nets, IFIP Congress, 1983.

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

P. Bourdil, B. Berthomieu, and E. Jenn, 2014. Model-Checking Real-Time Properties of an Auto Flight Control System Function, ISSREW

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

G. Cicala, A. Khalili, G. Metta, L. Natale, S. Pathak et al., Engineering Approaches and Methods to Verify Software in Autonomous Systems, IAS, 2016.
DOI : 10.1007/978-3-319-08338-4_121

A. Cimatti, M. Roveri, and P. Bertoli, Conformant planning via symbolic model checking and heuristic search, Artificial Intelligence, vol.159, issue.1-2, pp.1-2, 2004.
DOI : 10.1016/j.artint.2004.05.003
URL : https://doi.org/10.1016/j.artint.2004.05.003

B. Espiau, M. Kapellos, and . Jourdan, Formal Verification in Robotics: Why and How?, International Symposium on Robotics Research, pp.225-236, 1996.
DOI : 10.1007/978-1-4471-1021-7_26
URL : http://www.inrialpes.fr/iramr/Orccad/PostScript/ISRR_95.ps

M. Foughali, Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools, 2017 17th International Conference on Application of Concurrency to System Design (ACSD), 2017.
DOI : 10.1109/ACSD.2017.10
URL : https://hal.archives-ouvertes.fr/hal-01515012

M. Foughali, B. Berthomieu, S. Dal-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.
DOI : 10.1007/s10514-011-9271-y
URL : https://hal.archives-ouvertes.fr/hal-01346080

N. Gobillot, F. Guet, D. Doose, C. Grand, C. Lesire et al., 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

R. Halder, J. Proença, N. Macedo, and A. Santos, Formal Verification of ROS-Based Robotic Applications Using Timed-Automata, 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), pp.44-50, 2017.
DOI : 10.1109/FormaliSE.2017.9

J. Huang, C. Erdogan, Y. Zhang, B. Moore, Q. Luo et al., ROSRV: Runtime Verification for Robots, International Conference on Runtime Verification, pp.247-254, 2014.
DOI : 10.1007/978-3-319-11164-3_20

M. Kargahi and A. Movaghar, Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performance Study, 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, pp.201-208, 2005.
DOI : 10.1109/MASCOTS.2005.44

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

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

S. Lupetti and D. Zagorodnov, Data popularity and shortestjob-first scheduling of network transfers, Digital Telecommunications " 2006. ICDT'06. International Conference on. IEEE, pp.26-26, 2006.

A. Mallet, C. Pasteur, M. Herrb, S. Lemaignan, and F. Ingrand, GenoM3: Building middleware-independent robotic components, 2010 IEEE International Conference on Robotics and Automation, pp.4627-4632, 2010.
DOI : 10.1109/ROBOT.2010.5509539
URL : http://homepages.laas.fr/slemaign/publis/Mallet2010.pdf

P. M. Merlin and D. J. Farber, Recoverability of Communication Protocols--Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, pp.1036-1043, 1976.
DOI : 10.1109/TCOM.1976.1093424

A. Miyazawa, P. Ribeiro, W. Li, A. L. Cavalcanti, and J. Timmis, Automatic property checking of robotic applications, 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2017.
DOI : 10.1109/IROS.2017.8206238

A. Ala, S. Qadi, J. Goddard, S. Huang, and . Farritor, A performance and schedulability analysis of an autonomous mobile robot, ECRTS, 2005.

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

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.

U. Schwiegelshohn and R. Yahyapour, Analysis of first-come-firstserve parallel job scheduling, In SODA, vol.98, pp.629-638, 1998.

J. Shi, S. Goddard, A. Lal, and S. Farritor, A real-time model for the robotic highway safety marker system, RTAS, 2004.

R. Simmons, C. Pecheur, and G. Srinivasan, Towards automatic verification of autonomous systems, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113), 2000.
DOI : 10.1109/IROS.2000.893218

A. Sowmya, D. Tsz-wang, W. H. So, and . Tang, Design of a Mobile Robot Controller using Esterel Tools, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, pp.3-10, 2002.
DOI : 10.1016/S1571-0661(05)80435-9

D. John, H. Sweeney, R. A. Li, K. Grupen, and . Ramamritham, Scalability and schedulability in large, coordinated, distributed robot systems, ICRA, 2003.

K. W. Wong and H. Kress-gazit, Need-based coordination for decentralized high-level robot control, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2016.
DOI : 10.1109/IROS.2016.7759346

S. Zaman, G. Steinbauer, J. Maurer, P. Lepej, and S. Uran, An integrated model-based diagnosis and repair architecture for ROSbased robot systems, Robotics and Automation (ICRA), 2013 IEEE International Conference on. IEEE, pp.482-489, 2013.
DOI : 10.1109/icra.2013.6630618