A Mission Definition, Verification and Validation Architecture. - Louis Viard; Laurent Ciarletta; Pierre-Etienne Moreau (FM Workshops (1), 2019)

Méthodes et outils pour la programmation des systèmes cyber-physiques. (Methods and tools for cyber-physical systems programming). - Louis Viard (2021)