Viacheslav Izosimov Paul Pop Petru Eles Zebo Peng Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication. 440-447 2006 conf/delta/2006 DELTA http://doi.ieeecomputersociety.org/10.1109/DELTA.2006.83 db/conf/delta/delta2006.html#IzosimovPEP06