P. Antoine and S. Conversy, Volta: the first all-electric conventional helicopter, Proceedings of the More Electrical Aircraft Conference (MEA '17, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01609233

E. Bainomugisha, A Survey on Reactive Programming". In: ACM Computing Surveys, 2013.

T. Bourke, A Formally Verified Compiler for Lustre, p.PLDI, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01512286

X. Leroy, Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assitant, p.POPL, 2006.

M. Magnaudet, Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming, In: ACM Hum-Comput. Interact, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01815222

Y. K. Tan, A New Verified Compiler Backend for CakeMl, p.ICFP, 2016.