Static Analysis of the Accuracy in Control Systems: Principles and Experiments. - Eric Goubault; Sylvie Putot; Philippe Baufreton; Jean Gassino (FMICS, 2007)

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)