G. J. Edgar, N. S. Barrett, and A. J. Morton, Biases associated with the use of underwater visual census techniques to quantify the density and size-structure of fish populations, Journal of Experimental Marine Biology and Ecology, vol.308, issue.2, pp.269-290, 2004.
DOI : 10.1016/j.jembe.2004.03.004

F. Adolf and F. Andert, Onboard Mission Management for a VTOL UAV Using Sequence and Supervisory Control, pp.301-317, 2010.
DOI : 10.5772/10323

R. Nato, Coalition Battle Management Language, Tech. Rep, 2012.

A. Meduna, Formal Languages and Computation: Models and Their Applications, 2014.

E. Fernández-perdomo, J. Cabrera-gómez, A. C. Domínguez-brito, and D. Hernández-sosa, Mission specification in underwater robotics, Journal of Physical Agents (JoPha), vol.4, issue.1, pp.25-34, 2010.
DOI : 10.14198/JoPha.2010.4.1.05

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

M. Ingham, R. Ragno, and B. C. Williams, A reactive model-based programming language for robotic space explorers, Proceedings of ISAIRAS-01, 2001.

H. Marchand, ´. E. Rutten, M. L. Borgne, and M. Samaan, Formal verification of programs specified with signal: application to a power transformer station controller, Science of Computer Programming, vol.41, issue.1, pp.85-104, 2001.
DOI : 10.1016/S0167-6423(00)00020-4
URL : https://hal.archives-ouvertes.fr/inria-00526287

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete controllers based on the signal Environment, pp.479-480, 2000.
DOI : 10.1007/978-1-4615-4493-7_54
URL : https://hal.archives-ouvertes.fr/hal-00546147

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

A. Basu, S. 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.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

A. Basu, L. Mounier, M. Poulhì-es, J. Pulou, and J. Sifakis, Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), pp.257-260, 2007.
DOI : 10.1109/NCA.2007.52

B. Ropars, A. Lasbouygues, L. Lapierre, and D. Andreu, Thruster's dead-zones compensation for the actuation system of an underwater vehicle, 2015 European Control Conference (ECC), 2015.
DOI : 10.1109/ECC.2015.7330631

L. Jaiem, L. Lapierre, K. Godarydejean, and D. Crestani, Toward Performance Guarantee for Autonomous Mobile Robotic Mission: An Approach for Hardware and Software Resources Management, TAROS'16, 2016.
DOI : 10.1080/00207540500124579
URL : https://hal.archives-ouvertes.fr/lirmm-01310965

J. R. Burch, E. M. Clarke, K. L. Mcmillan, D. L. Dill, and L. J. Hwang, Symbolic model checking: 1020 States and beyond, Information and Computation, vol.98, issue.2, pp.142-170, 1992.
DOI : 10.1016/0890-5401(92)90017-A

R. Alur, Timed Automata, 1998.

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, pp.2741-2756, 2004.
DOI : 10.1137/0216062