ESTEREL: a formal method applied to avionic software development. - Gérard Berry; Amar Bouali; Xavier Fornari; Emmanuel Ledinot; Eric Nassor; Robert de Simone (Sci. Comput. Program., 2000)

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. - Yannick Moy; Emmanuel Ledinot; Hervé Delseny; Virginie Wiels; Benjamin Monate (IEEE Softw., 2013)

Software Safety Assessment and Probabilities. - Jean-Paul Blanquart; Philippe Baufreton; Jean-Louis Boulanger; Jean-Louis Camus; Cyrille Comar; Hervé Delseny; Jean Gassino; Emmanuel Ledinot; Philippe Quéré; Bertrand Ricque (DSN Workshops, 2016)

CPS Engineering: Gap Analysis and Perspectives. - Emmanuel Ledinot (CoRR, 2021)