Petru Eles Viacheslav Izosimov Paul Pop Zebo Peng Synthesis of Fault-Tolerant Embedded Systems. 1117-1122 2008 DATE http://dx.doi.org/10.1109/DATE.2008.4484825 conf/date/2008 db/conf/date/date2008.html#ElesIPP08