P. Doherty, J. Kvarnström, and F. Heintz, A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems, Autonomous Agents and Multi-Agent Systems, vol.18, issue.1???2, pp.332-377, 2009.
DOI : 10.1007/s10458-009-9079-8

F. Py and F. Ingrand, Dependable execution control for autonomous robots, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), 2004.
DOI : 10.1109/IROS.2004.1389549
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.3807

L. Montano, F. Garcia, and J. Villarroel, Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications, The International Journal of Robotics Research, vol.19, issue.1, pp.59-76, 2000.
DOI : 10.1177/02783640022066743

A. Basu, M. Gallien, C. Lesire, T. Nguyen, S. Bensalem et al., Incremental component-based construction and verification of a robotic system, European Conference on Artificial Intelligence (ECAI), 2008.

A. Mckenzie, D. Gay, R. Nori, J. Davis, and M. Anderson, Comparing temporally aware mobile robot controllers built with Sun's Java Real-Time System, Orocos' Real-Time Toolkit and Player, International Conference on Intelligent Robots and Systems (IROS), 2010.

A. Shakhimardanov and E. Prassler, Comparative evaluation of robotic software integration systems: A case study, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2007.
DOI : 10.1109/IROS.2007.4399375

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, 1998.
DOI : 10.1177/027836499801700402
URL : https://hal.archives-ouvertes.fr/hal-00123273

P. Soetens and H. Bruyninckx, Realtime Hybrid Task-Based Control for Robots and Machine Tools, Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005.
DOI : 10.1109/ROBOT.2005.1570129
URL : https://lirias.kuleuven.be/bitstream/123456789/157241/1/04PP136.pdf

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, 2010.
DOI : 10.1109/ROBOT.2010.5509539
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.6615

T. Lundqvist and P. Stenström, Timing anomalies in dynamically scheduled microprocessors, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), 1999.
DOI : 10.1109/REAL.1999.818824

C. Ballabriga, H. Cassé, C. Rochange, and P. Sainrat, OTAWA: An Open Toolbox for Adaptive WCET Analysis, IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS), 2010.
DOI : 10.1007/978-3-642-16256-5_6
URL : https://hal.archives-ouvertes.fr/hal-01055378

E. Balland, P. Brauner, R. Kopetz, P. Moreau, and A. Reilles, Tom: Piggybacking Rewriting on Java, Conference on Rewriting Techniques and Applications (RTA), 2007.
DOI : 10.1007/978-3-540-73449-9_5
URL : https://hal.archives-ouvertes.fr/inria-00142045