Dependability of Railway Control Systems. - Jean Arlat; Nobuyasu Kanekawa; Arturo M. Amendola; Jean-Luis Dufour; Yuji Hirao; Joseph A. Profeta III (FTCS, 1996)

Safety computations in integrated circuits. - Jean-Luis Dufour (VTS, 1996)