Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa". - Lilian Burdy; David Déharbe; Étienne Prun (F-IDE@FM, 2016)

Applying a Formal Method in Industry: A 25-Year Trajectory. - Thierry Lecomte; David Déharbe; Étienne Prun; Erwan Mottin (SBMF, 2017)

Low Cost High Integrity Platform. - Thierry Lecomte; David Déharbe; Denis Sabatier; Étienne Prun; Patrick Péronne; Emmanuel Chailloux; Steven Varoumas; Adilla Susungi; Sylvain Conchon (CoRR, 2020)