Jean Arlat Nobuyasu Kanekawa Arturo M. Amendola Jean-Luis Dufour Yuji Hirao Joseph A. Profeta III Dependability of Railway Control Systems. 150-155 1996 conf/ftcs/1996 FTCS db/conf/ftcs/ftcs96.html#ArlatKADHP96