A Synthesis Tool for Fault-Tolerant Finite State Machines. - Régis Leveugle; Raphaël Rochet; Gabriele Saucier; L. Martinez; C. Pitot (FTCS, 1993)