SACEM Software Validation (Experience Report). - Gérard D. Guiho; Claude Hennebert (ICSE, 1990)

SACEM: A Fault Tolerant System for Train Speed Control. - Claude Hennebert; Gérard D. Guiho (FTCS, 1993)