Conception et validation de systèmes informatiques à haute sûreté de fonctionnement. (Design and validation of computer systems with high operating reliability). - Eric Pilaud (1982)

Outline of a Real Time Data Flow Language. - Jean-Louis Bergerand; Paul Caspi; Daniel Pilaud; Nicolas Halbwachs; Eric Pilaud (RTSS, 1985)

An experience of a critical software development. - C. Sayet; Eric Pilaud (FTCS, 1990)

Some Experiences of Critical Software Development. - Eric Pilaud (ICSE, 1990)