Régis Leveugle R. Rochet Gabriele Saucier L. Martinez C. Pitot A Synthesis Tool for Fault-Tolerant Finite State Machines. 502-511 1993 conf/ftcs/1993 FTCS db/conf/ftcs/ftcs93.html#LeveugleRSMP93 http://doi.ieeecomputersociety.org/10.1109/FTCS.1993.627353