Implementing Fault-Tolerance in Real-Time Programs by Automatic Program Transformations. - Ayav, Tolga; Fradet, Pascal; Girault, Alain (ACM Transactions on Embedded Computing Systems, 2008)