A. Abed, M. Majali, T. Omar, S. Alnawaiseh, A. Al-ayyoub et al., Building a prototype for power-aware automatic parking system, Proceedings of 2015 IEEE Int. Renewable and Sustainable Energy Conference, 2015.

R. Alur, L. De-alfaro, T. A. Henzinger, and F. Y. Mang, Automating modular verification, Int. Conf. on Concurrency Theory, pp.82-97, 1999.
DOI : 10.21236/ada461302

R. Alur and D. L. 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

A. Bechar and C. Vigneault, Agricultural robots for field operations: Concepts and components, Biosystems Engineering, vol.149, pp.94-111, 2016.
DOI : 10.1016/j.biosystemseng.2016.06.014

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, pp.87-124, 2004.
DOI : 10.1007/978-3-540-27755-2_3

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

J. Caceres-cruz, P. Arias, D. Guimarans, D. Riera, J. et al., Rich Vehicle Routing Problem, ACM Computing Surveys, vol.47, issue.2, pp.47-79, 2015.
DOI : 10.1016/j.tre.2010.09.010

D. Claes, P. Robbel, F. A. Oliehoek, K. Tuyls, D. Hennes et al., Effective approximations for multi-robot coordination in spatially distributed tasks, Proceedings of the 2015 Int. Conf. on Autonomous Agents and Multiagent Systems International Foundation for Autonomous Agents and Multiagent Systems, pp.881-890, 2015.

E. Clarke, M. Talupur, T. Touili, and H. Veith, Verification by Network Decomposition, CONCUR 2004 -Concurrency Theory, pp.276-291, 2004.
DOI : 10.1016/S1571-0661(04)00187-2

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

A. Hélias, F. Guerrin, and J. P. Steyer, Using timed automata and model-checking to simulate material flow in agricultural production systems???Application to animal waste management, Computers and Electronics in Agriculture, vol.63, issue.2, pp.183-192, 2008.
DOI : 10.1016/j.compag.2008.02.008

D. Herrera, S. Tosetti, C. , and R. , Dynamic Modeling and Identification of an Agriculture Autonomous Vehicle, IEEE Latin America Transactions, vol.14, issue.6, pp.2631-2637, 2016.
DOI : 10.1109/TLA.2016.7555230

E. Kayacan, E. Kayacan, H. Ramon, and W. Saeys, Modeling and identification of the yaw dynamics of an autonomous tractor, 2013 9th Asian Control Conference (ASCC), 2013.
DOI : 10.1109/ASCC.2013.6606388

H. M. Koo and P. Mishra, Functional Test Generation Using Property Decompositions for Validation of Pipelined Processors, Proceedings of the Conference on Design, Automation and Test in Europe, DATE '06 European Design and Automation Association, pp.1240-1245, 2006.

C. Largouët, M. O. Cordier, Y. M. Bozec, Y. Zhao, and G. Fontenelle, Use of timed automata and model-checking to explore scenarios on ecosystem models, Environmental Modelling & Software, vol.30, pp.123-138, 2012.
DOI : 10.1016/j.envsoft.2011.08.005

K. G. Larsen, F. Larsson, P. Pettersson, Y. , and W. , Compact data structures and state-space reduction for model-checking real-time systems, Real-Time Systems, vol.25, issue.2/3, pp.255-275, 2003.
DOI : 10.1023/A:1025132427497

K. G. Larsen, P. Pettersson, Y. , and W. , 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

K. Leahy, A. Jones, M. Schwager, and C. Belta, Distributed information gathering policies under temporal logic constraints, 2015 54th IEEE Conference on Decision and Control (CDC), pp.6803-6808, 2015.
DOI : 10.1109/CDC.2015.7403291

R. Lenain, anr adap2e project reference anr-14-ce27-0004 adaptive autonomous production platform for environment, 2014.

A. Pnueli, E. Asarin, O. Maler, and J. Sifakis, Controller synthesis for timed automata, Proc. System Structure and Control, 1998.

O. Souissi, R. Benatitallah, D. Duvivier, A. Artiba, N. Belanger et al., Path planning: A 2013 survey, Proceedings of 2013 Int. Conf. on Industrial Engineering and Systems Management, IEEE -IESM 2013, 2013.

T. Vanwalleghem, F. Jimnez-hornero, J. Girldez, and A. Laguna, Simulation of long-term soil redistribution by tillage using a cellular automata model, Earth Surface Processes and Landforms, vol.28, issue.4, pp.35-761, 2010.
DOI : 10.4141/cjss95-029

G. A. Wainer and N. Giambiasi, Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation, SIMULATION, vol.76, issue.1, pp.22-39, 2001.
DOI : 10.1177/003754970107600102