L. Ciarletta and A. Guénard, The AETOURNOS project: Using a flock of UAVs as a Cyber Physical System and platform for application-driven research, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00764055

L. Ciarletta, A. Guénard, Y. Presse, V. Galtier, Y. Q. Song et al., Simulation and platform tools to develop safe flock of UAVs: a CPS application-driven research, 2014 International Conference on Unmanned Aircraft Systems (ICUAS), 2014.
DOI : 10.1109/ICUAS.2014.6842244
URL : https://hal.archives-ouvertes.fr/hal-01059310

U. Challenge, Search and Rescue Challenge -Mission, rules and judging criteria, 2014.

A. Van-lamsweerde, Requirements Engineering -From System Goals to UML Models to Software Specifications, 2009.

M. Antoni, Formal validation method and tools for computerized interlocking system " , FM 2012, Industry day, slides available at http://fm2012.cnam.fr

F. Maraninchi and Y. Rémond, Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, pp.46-219, 2003.
DOI : 10.1016/S0167-6423(02)00093-X

N. Navet, L. Fejoz, L. Havet, and S. Altmeyer, Lean Model-Driven Development through Model- Interpretation: the CPAL design flow " , to appear at ERTS2016. Preliminary version available as technical report from the University of Luxembourg at http

S. Altmeyer and N. Navet, The case for FIFO scheduling, 2015.

S. Altmeyer, N. Navet, and L. Fejoz, Using CPAL to model and validate the timing behaviour of embedded systems, 2015.

R. Clothiera, B. Williams, and N. Fulton, Structuring the safety case for unmanned aircraft system operations in non-segregated airspace, Safety Science, vol.79, pp.213-228, 2015.
DOI : 10.1016/j.ssci.2015.06.007