Tolga Ayav Pascal Fradet Alain Girault Implementing fault-tolerance in real-time systems by automatic program transformations. 205-214 2006 conf/emsoft/2006 EMSOFT http://doi.acm.org/10.1145/1176887.1176917 db/conf/emsoft/emsoft2006.html#AyavFG06