N. Albert, Certification du code embarqu d'un micro-drone. Master's thesis, 2005.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.

M. Jenkin and G. Dudek, The paparazzi problem, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113), 2000.
DOI : 10.1109/IROS.2000.895271

E. N. Johnson, S. Fontaine, and A. D. Kahn, Minimum complexity uninhabited air vehicle guidance and flight control system, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219), 2001.
DOI : 10.1109/DASC.2001.963345

F. Nemer, H. Cassé, P. Sainrat, and J. P. Bahsoun, Papabench: a free real-time benchmark, Time Analysis, 2006.

B. Taylor, C. Bil, and S. Watkins, Horizon sensing attitude stabilisation: A VMC autopilot, 18th International UAV Systems Conference, 2003.