W. J. Gould, From swallow floats to argothe development of neutrally buoyant floats, Deep Sea Research Part II: Topical Studies in Oceanography, vol.52, pp.529-543, 2005.

D. Roemmich, G. Johnson, S. Riser, R. Davis, J. Gilson et al., The argo program observing the global ocean with profiling floats, Oceanography, vol.22, 2009.

M. F. Baumgartner, K. M. Stafford, and G. Latha, Near Real-Time Underwater Passive Acoustic Monitoring of Natural and Anthropogenic Sounds, pp.203-226, 2018.

H. Matsumoto, C. R. Jones, H. Klinck, D. K. Mellinger, R. P. Dziak et al., Tracking beaked whales with a passive acoustic profiler float, The Journal of the Acoustical Society of America, vol.133, issue.2, pp.731-771, 2013.

B. B. Ma and J. Nystuen, Passive acoustic detection and measurement of rainfall at sea, Journal of Atmospheric and Oceanic Technology -J ATMOS OCEAN TECHNOL, vol.22, pp.1225-1248, 2005.

A. Sukhovich, S. Bonnieux, Y. Hello, J. O. Irisson, F. J. Simons et al., Seismic monitoring in the oceans by autonomous floats, 2015.
URL : https://hal.archives-ouvertes.fr/insu-01235776

G. Nolet, Y. Hello, S. Van-der-lee, S. Bonnieux, M. J. Ruiz et al., Imaging the galápagos mantle plume with an unconventional application of floating seismometers, Scientific Reports, 2019.

H. Gomaa, Real-Time Software Design for Embedded Systems, 2016.

G. Mussbacher, D. Amyot, R. Breu, J. Bruel, B. H. Cheng et al., The relevance of model-driven engineering thirty years from now, MoDELS, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01156595

D. C. Schmidt, Guest editor's introduction: Model-driven engineering, Computer, vol.39, pp.25-31, 2006.

S. Kent, Model driven engineering, Proceedings of the Third International Conference on Integrated Formal Methods, ser. IFM '02, pp.286-298, 2002.

M. Fowler, Domain Specific Languages, 2010.

C. L. Liu and J. W. Layland, Scheduling algorithms for multiprogramming in a hard-real-time environment, J. ACM, vol.20, pp.46-61, 1973.

T. J. Parr and R. W. Quong, Antlr: A predicated-ll(k) parser generator, Softw., Pract. Exper, vol.25, pp.789-810, 1995.

K. Kakousis, N. Paspallis, and G. A. Papadopoulos, A survey of software adaptation in mobile and ubiquitous computing, Enterprise Information Systems, vol.4, issue.4, pp.355-389, 2010.

N. D. Lane, S. Bhattacharya, A. Mathur, P. Georgiev, C. Forlivesi et al., Squeezing deep learning into mobile and embedded devices, IEEE Pervasive Computing, vol.16, issue.3, pp.82-88, 2017.

P. Gaur and M. P. Tahiliani, Operating systems for iot devices: A critical survey, 2015 IEEE Region 10 Symposium, pp.33-36, 2015.

R. Pereira, M. Couto, F. Ribeiro, R. Rua, J. Cunha et al., Energy efficiency across programming languages: how do energy, time, and memory relate, SLE, 2017.

P. Iyenghar and E. Pulvermüller, A model-driven workflow for energyaware scheduling analysis of iot-enabled use cases, IEEE Internet of Things Journal, vol.5, pp.4914-4925, 2018.

T. B. La-fosse, J. Mottu, M. Tisi, J. Rocheteau, and G. Sunyé, Characterizing a source code model with energy measurements, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01952724

C. Ferdinand and R. Heckmann, ait: Worst-case execution time prediction by static program analysis, Building the Information Society, pp.377-383, 2004.

C. M. Woodside, G. Franks, and D. C. Petriu, The future of software performance engineering, Future of Software Engineering (FOSE '07), pp.171-187, 2007.

K. Lorincz, B. Chen, J. Waterman, G. Werner-allen, and M. Welsh, Resource aware programming in the pixie os, Proceedings of the 6th ACM Conference on Embedded Network Sensor Systems, ser. SenSys '08, pp.211-224, 2008.

J. Sorber, A. Kostadinov, M. Garber, M. Brennan, M. D. Corner et al., Eon: A language and runtime system for perpetual systems, Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, ser. SenSys '07, pp.161-174, 2007.

O. M. Group, Uml profile for marte: Modeling and analysis of real-time embedded systems, 2011.

P. Feiler, D. Gluch, and J. Hudak, The architecture analysis & design language (aadl): An introduction, p.145, 2006.

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

J. Deantoni and F. Mallet, Timesquare: treat your models with logical time, TOOLS, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00688590

N. Navet and L. Fejoz, Cpal: high-level abstractions for safe embedded systems, DSM@SPLASH, 2016.

N. Gobillot, C. Lesire, and D. Doose, A design and analysis methodology for component-based real-time architectures of autonomous systems, Journal of Intelligent and Robotic Systems, pp.1-16, 2018.